【摘 要】
：
针对变异测试代价大、无法广泛应用的问题,提出了一种在变异测试过程中引进测试用例选择以降低测试代价的方法.通过为每个变异体选择一定数量的测试用例,约束变异体允许执行
【基金项目】
：
The National High Technology Research and Development Program of China （863 Program） （No. 2008AA01Z113）, the National Natural Science Foundation of China （No. 60773105 60973149）
论文部分内容阅读
针对变异测试代价大、无法广泛应用的问题,提出了一种在变异测试过程中引进测试用例选择以降低测试代价的方法.通过为每个变异体选择一定数量的测试用例,约束变异体允许执行的最大次数,从而减少无用功.测试用例的选择与变异体的变异程度相关,变异距离是描述源程序和变异体之间差异程度的指标,能够衡量测试集中有效测试用例的比例,进而指导测试用例的选择.距离越大,意味着变异体越容易被杀死,对应的有效测试用例则越多.实验结果表明该方法在不影响测试效果的情况下,可以明显降低变异测试的执行成本.
其他文献
为了拓展渐变槽线天线的工作频带，提出一种采用共面波导新型馈电结构的双面印刷对跖型渐变槽线天线．基于对渐变槽线天线之宽频带特性受限于现有馈电方式的分析，改用蚀刻于背板的
为了研究非微扰理论中的传播子行为，以及协变规范对其行为的影响，以常用的截断方案下的Dyson－Schwinger方程为基础，采用数值联立求解的方法研究了三维量子电动力学（ QED）中的费米子
以艏侧推桨为研究对象,采用有限体积法,通过求解非定常RANS（Reynolds-Averaged Navier-Stokes）方程对槽道流场进行了数值模拟得到槽道壁的脉动压力,为结构减振优化设计提供初始
为了估计交通流量，提出了一个使用先验路段流的贝叶斯网络模型。该模型把路段流量设为OD流量的父节点。在正态分布假设下，模型考虑了总交通流水平、路段流可变性以及交通量守恒
为解决挖泥船在挖泥强反作用干扰或恶劣环境干扰下,动力定位控制系统不稳定的难题,提出采用自适应反步法来解决挖泥船的动力定位问题.由于自适应算法采用实时估计干扰值并进
针对信号稀疏度在大多数情况下时变且未知的问题,提出了一种实时信号稀疏度预测及最优采样速率确定机制.利用离散时间马尔科夫链对信号稀疏度进行建模,分析信号稀疏度各状态
采用有限元方法模拟了热载荷下梯度结构硬质合金的弹塑性响应．样品几何模型为二维梯度结构的轴对称圆柱体．通过引入约束因子构建了梯度材料的弹塑性本构方程．数值模拟表明：当材料
为深入了解双层钢板混凝土组合剪力墙的抗剪性能，采用数值模拟的方法研究了钢板厚度、混凝土厚度、混凝土强度及组合剪力墙的跨高比等主要参数对该组合剪力墙抗剪性能的影响规