【摘 要】
：
故障定位是软件调试过程中一项耗时耗力的工作,自动化查错的应用对于提高软件调试效率具有重要的现实意义。近年来,基于程序谱的故障定位方法得到了研究人员的大量关注。针对
【基金项目】
：
国家自然科学基金（61772004）, 福建省自然基金（2014J01221）
论文部分内容阅读
故障定位是软件调试过程中一项耗时耗力的工作,自动化查错的应用对于提高软件调试效率具有重要的现实意义。近年来,基于程序谱的故障定位方法得到了研究人员的大量关注。针对单错误现象,提出了基于改良程序谱的软件故障定位新方法,该方法基于＂在单错误情况下,若测试用例运行错误,则该测试用例运行必定覆盖了故障语句＂这一论断,将所有的故障测试用例对程序语句的覆盖情况做交运算,从而得到故障基,再利用故障基定位故障。最后,以西门子测试程序集为测试数据,对比了不同方法对故障定位的效果和效率的影响,其结果表明所提出的方法可以有效地
其他文献
本文在Servlet/jsp，Struts环境下，通过java编程实现了对数据库进行可定制的查绚，浏览、修改、增加及删除操作的通用方法，并模仿数据库触发器机制在增加、修改及删除操作中实现关
根据质量和动量的微分平衡,建立了描述高炉滴下带气、液二相流的三维数学模型.观察值与计算结果的一致性确认了本模型的合理性.应用本数学模型计算了首钢1号高炉干域区周围各
一、无锡转型发展的历程启示三十多年的发展实践,为无锡进一步深化探索转型提供了有益的经验启示.一是坚持思想解放,开辟改革新境界.从大胆突破传统计划经济的思想束缚、成功
本文对空心纤维型血液透析器中的传质过程进行了研究,提出了伴有超滤的血液透析过程中血液一侧传质的数学模型,并用分离变量法获得了该模型的分析解.实验数据表明,用该模型能
无锡太湖国际科技园投资开发有限公司是无锡高新区(新吴区)国资办直属国有企业,是高新区最大的科技载体运营服务商。在全面深入学习习近平新时代中国特色社会主义思想和十九大精神的时代背景下,公司以落实《中国共产党支部工作条例》为指导,以"三会一课"为重点落实组织生活制度,以上好党课为思想建设的重要抓手,通过"学一学、想一想、做一做"的三维共建模
创办于抗日烽火年代,复刊于改革开放初期的《江南论坛》,由长三角地区十六城市党委宣传部和社科部门联合主办的区域性综合性省级理论月刊,也是目前长三角地区颇具影响的面向
GDOP是衡量定位系统精度的一个重要指标。基于射线跟踪的定位算法利用镜像站实现对目标的定位,针对现有关于GDOP的计算因没有考虑镜像站之间的相关性,而无法用于对基于射线跟
《2018年无锡市消费环境建设白皮书》显示,无锡市滨湖区在“消费环境满意度”这一核心量化考评指标上获得全市第一,多项指标名列前茅;2019年食品安全工作会议上又传来喜报,滨
世界顶尖科学家论坛日前在上海举行．共有37位顶尖科学家与会．包括26位诺贝尔奖得主和多位沃尔夫奖、拉斯克奖、图灵奖、麦克阿瑟天才奖等世界著名学术奖项得主，涵盖了化学、物理
热回收网络结构柔性改进问题是针对在不确定参数下柔性不满足要求的网络,通过改造其结构以增加柔性,从而达到降低能耗之目的.本文在用网络柔性分析方法识别出控制网络柔性的