【摘 要】
：
在软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时会生成大量
【基金项目】
：
国家自然科学基金（61672085,61472025）, 教育部新世纪优秀人才计划项目（NCET-12-0757）资助
论文部分内容阅读
在软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时会生成大量变异体,并在变异体上执行测试用例集,开销庞大。为了减少MBFL的变异执行开销,提出面向语句的变异体约减策略,通过分析测试用例的执行信息,按一定比例对每条由失败测试用例覆盖的语句生成的变异体集合进行约减。实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51%~
其他文献
CIP-I Leg是国内首个智能仿生人工腿原型机,首先介绍了CIP-I Leg的基本结构,然后重点介绍了该人工腿步速测量系统的设计方案,包括步速调整原理、控制系统结构、针阀开度值的
为了使单自由度磁悬浮系统的转子稳定地悬浮在平衡位置,在建立系统状态空间模型的基础上,对系统引入状态反馈及误差积分的控制.通过仿真,系统的稳态误差为0,获得了较好的动态
TI公司的无线收发芯片TRF6900是工作在850～950MHz ISM频段的低功耗无线收发芯片,与普通无线收发芯片相比,非常适合在复杂的电磁环境下实现距离范围在1000米以内的无线移动通信
汽车发动机爆震检测是典型的一唯时变信号模式识别问题,详细描述了基于离散傅立叶变换(DFT)进行发动机各气缸爆震强度模式识别的算法,并采用递阶模式特征判别和判决阈值自调
阐述了一种主要用于检测视频同步信号的基于PCI总线的视频发生器模块的设计过程.该模块具有RS-422总线接口与两路PAL制式复合视频输出端.该视频信号可以由外部行场同步与外部
在分析基于Pandora的动态故障树时,SBDD方法未考虑各底事件间复杂的关系,造成生成的SBDD中存在无效分支,即计算的不交化割集中存在无效割集。针对该问题,提出了一种基于动态
粗糙集理论是一种有效的数据挖掘工具,覆盖粗糙集理论是粗糙集理论中的重要部分。给出了一对覆盖近似算子随数据对象增加的更新方法,并以实例说明了所提出的更新方法的有效性。
受到Tierney的序列稀疏子空间聚类方法的启发,提出了一种新的基于顺序特性的子空间聚类方法.该方法先通过提升小波变换处理得到信号的低频信息;然后通过强调相邻样本之间的连
针对近邻传播聚类算法在构造相似度矩阵时因对多重尺度和任意形状数据敏感而聚类效果不理想的缺陷,提出一种基于密度调整和流形距离的近邻传播算法。该算法将＂领域密度＂和＂流形
基于模型的GUI测试方法（MBGT）可自动化生成测试用例,在MBGT中引入多级形态模型（Multilevel Morphology Model,MMM）可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效