程序不变量驱动的组合测试用例约简方法

来源 :西安邮电学院学报 | 被引量 : 0次 | 上传用户:zhang760327
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。
其他文献
3月10日,重庆市首座风力发电场风电送出工程正式竣工运行。座落在重庆市武隆县和顺乡的四眼坪风力发电场,总装机49.3兆瓦,建成后,平均每年可向重庆提供8900万度电量。是重庆市清洁
日前,在意大利首都罗马市的电动汽车电池招标中,春兰(集团)公司自主研发的高能动力镍氢电池及电源管理系统产品,以其卓越的高效、经济、清洁特点击败美国和日本同类产品而中标。
针对越来越多功能相同服务质量不同的Web服务的出现,为了从相同功能的Web服务中选出满足客户对服务质量需求的服务,并将其在运行时动态组合,提出一种基于调节熵和社会认知算
1.国务院投资体制改革决定明确稀土行业投资管理要求7月份,国务院正式公布了<关于投资体制改革的决定>.投资体制改革是建立和完善社会主义市场经济体制的重要举措,对加强和改
中国科学院物理研究所亚稳材料创新研究群体:他们的理念和目标是用高压、微重力、极低温等手段获得具有非平衡亚稳结构的新型材料,发现新异的材料性能、物理现象与规律,发展亚稳
为了能够对树形网络拓扑结构进行控制,实现动态显示,达到友好的用户界面。本文提出基于Flex技术,采用服务器端的.NET设计方法,实现网络树形拓扑结构的显示与控制方案。根据网
为了提高文本聚类的有效性,提出一种基于网络社团结构的文本聚类算法。基于语义知识库理论,利用文本集与词语间的关系,引入文本相似度概念,再结合Newman社团聚类算法特性,将文本集
以实际调查数据为依据,运用DEAP2.1软件构建陕西省企业信息化产出效率数据包络模型,并根据模型计算结果对陕西省企业信息化产m效率进行了实证分析,针对分析中发现的问题提出相应
1000倍的显微镜可以看清细胞,20万倍的电子显微镜才能看出纳米结构的形状。在纳米世界里,原本足球模样的纳米晶体竟被人工“雕琢”成一个个正立方体,还能自动组装,堪称世界上最小
为了提高多通道合成孔径雷达(Synthetic Aperture Radar,SAR)对地面运动目标检测((Ground Moving-Targets Indication,GMTI)的性能,并建立有效的信号检测模型,针对沿迹干涉测量(Alo