【摘 要】
：
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首
【机 构】
：
中国矿业大学计算机科学与技术学院,中国矿业大学信息与电气工程学院,中国矿业大学理学院,江苏师范大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（61375067,61203304）,江苏省自然科学基金（BK2012566）,中央高校基本科研业务专项基金（2012QNA41） 致谢感谢各位审稿专家以及本刊编辑的辛勤工作.
论文部分内容阅读
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明：该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.
其他文献
本文通过对当前高职教育现实状况的初步分析,介绍了高等职业教育专业师资队伍建设中具有的一些动态特征,并对高职专业师资队伍建设提出了一些探索性对策.
为了满足纯电动汽车动力系统的功能与安全性要求,本文中基于模型设计（MBD）的思想对电动汽车加速踏板可靠性控制进行系统研究。在Simulink/Stateflow环境下建立了信号滤波、信号
针对一类中断驱动系统提出了一种建模和模型检验的方法．该系统通常由中断处理程序和操作系统调度的任务组成，前者由中断源触发后处理中断事件，后者则负责处理系统的日常任务以及
对细长轴类零件的工艺进行了分析,设计了在立式加工中心上加工细长轴类零件的柔性夹具。通过本夹具可以批量安装细长轴类零件,以实现铣、钻、扩、铰、镗等工艺过程。应用表明
针对某3.5 L国VI柴油发动机摇臂轴座滑移超标和强度不足的问题,提出了将分体式摇臂轴座改为整体式和增大过渡圆角等结构的改进措施。应用Abaqus和Femfat软件对改进后的摇臂轴