基于学习的故障定位方法研究 

故障定位是软件调试的主要任务之一。开发人员花费大量的时间和精力来人工正确定位故障。自动故障定位技术可以辅助开发者。在故障定位领域,已经提出了许多技术,输入测试套件,然后输出程序的故障实体的排序列表。可能程序不变量是发现和分析软件缺陷的主要方式之一,通过分析不变量特性,可以捕获和分析哪些程序代码违背了开发人员的目标。为了...
哈尔滨工业大学  硕士论文  2018年 下载次数(18)| 被引次数()

ON INVARIANT CHECKING 

Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,giv...
《Journal of Systems Science & Complexity》  2013年 第03期 下载次数(9)| 被引次数(0)

Two New Strategies for Developing Loop Invariants and Their Applications 

The loop invariants take a very important role in the design,proof and derivation of the algorithmicprogram.We point out the limitations of the traditional ...
《Journal of Computer Science and Technology》  1993年 第02期 下载次数(32)| 被引次数(41)