【摘 要】
：
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首
【机 构】
：
中国矿业大学计算机科学与技术学院,中国矿业大学信息与电气工程学院,中国矿业大学理学院,江苏师范大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（61375067,61203304）,江苏省自然科学基金（BK2012566）,中央高校基本科研业务专项基金（2012QNA41） 致谢感谢各位审稿专家以及本刊编辑的辛勤工作.
论文部分内容阅读
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明：该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.
其他文献
<正> 黑熊和棕熊喜食蜂蜜,都以养蜂为生。它们各有一个蜂箱,养着同样多的蜜蜂。一日,它们决定比赛看谁的蜜蜂产的蜜多。 黑熊想,蜜的产量取决于蜜蜂每天对花的“访问量”。于
本文通过对当前高职教育现实状况的初步分析,介绍了高等职业教育专业师资队伍建设中具有的一些动态特征,并对高职专业师资队伍建设提出了一些探索性对策.
本文综合分析义乌民营企业家成才模式的特点,对照分析高等教育存在的问题,根据以创新思维为价值导向的高等教育的培养目标,指出高校系统面向社会开放的可能性和必要性.
为了满足纯电动汽车动力系统的功能与安全性要求,本文中基于模型设计（MBD）的思想对电动汽车加速踏板可靠性控制进行系统研究。在Simulink/Stateflow环境下建立了信号滤波、信号
要说芙蓉姐姐,必须得从网络说起.网络是什么,真是一言难尽,可以说它是窗口,也可以说它是马桶;可以说它是茶舍,也可以说它是迪厅;可以说它是鸦片,也可以说它是春药;可以说它是
凭心而论，李广民的愿望不算奢侈，就是想有一幢新房。同村的人家，有谁还像他那样，一家６口仍住在３０年前所盖的房子里？然而，他苦做了２０多年的小学教师．却硬是攒不够盖新房的钱。
针对一类中断驱动系统提出了一种建模和模型检验的方法．该系统通常由中断处理程序和操作系统调度的任务组成，前者由中断源触发后处理中断事件，后者则负责处理系统的日常任务以及
对细长轴类零件的工艺进行了分析,设计了在立式加工中心上加工细长轴类零件的柔性夹具。通过本夹具可以批量安装细长轴类零件,以实现铣、钻、扩、铰、镗等工艺过程。应用表明
针对某3.5 L国VI柴油发动机摇臂轴座滑移超标和强度不足的问题,提出了将分体式摇臂轴座改为整体式和增大过渡圆角等结构的改进措施。应用Abaqus和Femfat软件对改进后的摇臂轴