【摘 要】
:
在软件调试过程中,如何快速、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。基于变异的错误定位方法是一种通过分析被测程序与程序变异体之间的行为相似性来估
【机 构】
:
北京化工大学计算机系,北京邮电大学信通学院
【基金项目】
:
国家自然科学基金项目(61170082,61472025), 教育部新世纪优秀人才支持计划(NCET-12-0757)资助.
论文部分内容阅读
在软件调试过程中,如何快速、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。基于变异的错误定位方法是一种通过分析被测程序与程序变异体之间的行为相似性来估计语句出错概率、进行错误定位的方法。该方法有较高的错误定位精确度,但由于需对大量程序变异体执行测试用例集,因此其变异执行开销较大。为此提出了一种动态变异执行策略,它通过搜集测试用例执行信息,动态地调整变异体及测试用例的执行顺序,以减少其变异执行开销。实验结果表明,在6个程序包的127个错误版本上,应用提出的动态变异执行策略可在保证错误定位精确度的前
其他文献
针对软件无线电中的多速率信号处理,介绍了级联积分梳状滤波器的基本组成及设计原理,给出了基于FPGA的具体设计方案及实现方法.仿真结果表明,该设计简单合理,使用灵活方便,具
针对目前有源滤波器容量限制,提出一种新型的并联混合型有源滤波器SHAPF的结构,SHAPF结合有源滤波器和无源滤波器,大大减少了有源滤波器的容量,有利于工程实现.在分析SHAPF的
以ControlNet控制网网络在北京正负电子对撞机(BEPC)真空控制系统中的应用为例,介绍了控制网网络的特点、真空控制系统在实验物理和工业控制系统(EPICS)构架下的结构、系统组
面向方面的软件开发方法区别于面向对象的软件开发方法的关键在于横切关注点的管理。横切关注点的管理应贯穿面向方面的软件开发的全过程。分析了横切关注点在软件开发各阶段
针对Internet机器人控制中延迟变化所引起的不稳定问题,采用基于RBF神经网络的延迟时间预测方法,并将其与Smith预估器结合应用于Internet机器人控制中,解决了变延迟情况下的
介绍了一种实现GPS与电罗经信号实时转换的船舶导航数据转换器;该转换器以P89C669单片机为核心实现对GPS和电罗经信号的实时接收、转换、发送,及利用IAP实现系统配置等功能;
将卷积神经网络(CNN)应用于工件缺陷检测,来检测工件在生产过程中表面出现的缺陷,以提高工件的生产质量。利用CNN可以对工件的图案进行识别,但识别无法检测出细微缺陷的问题。在CNN进行工件图案识别的基础上,研究一种利用CNN实现缺陷检测的方法。该方法通过扩充缺陷样本,利用CNN识别的中间输出参数,定义了缺陷分辨率的概念来衡量缺陷的程度,当缺陷分辨率达到一定水平时则认为是无缺陷图案,否则认为其存在缺
针对协同作战中对平台精确定位要求,利用编队内舰艇对友邻舰艇的相互探测,以导航输出航速为约束,在具有伪测量次优滤波器的基础上,提出两舰相对位置定位的融合算法 .该算法具
系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整