【摘 要】
：
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条
【机 构】
：
黑龙江工程学院计算机科学与技术学院,哈尔滨工程大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(No.61772177,No.61806075),黑龙江省自然科学基金(No.F2018029),黑龙江工程学院博士科研启动基金(No.2018BJ03,No.2017BJ13).
论文部分内容阅读
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置.
其他文献
随着我国素质教育和新课程改革的深入，初中政治面对新的标准，迫切需要对当前的教学情况进行分析与变革，因此从新课标下初中政治教育教学难题入手，对相应的解决对策提出建议。
近年来我国经济发展速度较快,林业经济作为我国的基础经济,在国民经济中占据重要位置。发展林业经济,不仅可以提高林业企业的经济效益,而且具有较好的环保效益。特别是一直以
在饲料工业化蓬勃发展的今天，饲料的贮存以及饲料加工、运输中的任何一个环节都可能引起霉变。畜禽采食霉烂变质饲料后使其蓄积中毒，甚至死亡，严重影响了饲料工业和畜牧业生产的
近年来,我国消防部队发展速度较快、建设效果显著,其中,会计有效控制在其中起到了重要作用,确保财务管理活动顺利进行。本文首先介绍和分析消防部队会计控制的特点和作用,然