A new structural coverage criterion for dynamic detection of program invariants
A new structural coverage criterion for dynamic detection of program invariants
复制标题
程序不变量动态检测的新结构覆盖标准
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Zachary V. Heidepriem
中科院分区：
文献类型：
--
作者：
Neelam Gupta;Zachary V. Heidepriem
程序不变量的动态检测是一个具有挑战性的重要研究领域。生成合适的测试用例，支持准确的程序不变量检测是至关重要的程序不变量检测的动态方法。在本文中，我们提出了一个新的结构覆盖标准称为不变覆盖标准的动态检测程序不变。我们还展示了如何不变覆盖标准可以用来提高动态检测的不变量的准确性。我们首先使用Daikon工具，使用分支覆盖和所有定义使用对覆盖测试套件为几个程序报告可能的程序不变量。然后，我们为这些可能的不变量生成了不变量覆盖套件。当Daikon使用不变量覆盖套件运行时，先前由分支覆盖和定义使用对覆盖测试套件报告的几个虚假不变量被从报告的不变量中删除。我们的方法也产生了更有意义的不变量比随机生成的测试套件。
Dynamic detection of program invariants is emerging as an important research area with many challenging problems. Generating suitable test cases that support accurate detection of program invariants is crucial to the dynamic approach of program invariant detection. In this paper, we propose a new structural coverage criterion called invariant-coverage criterion for dynamic detection of program invariants. We also show how the invariant-coverage criterion can be used to improve the accuracy of dynamically detected invariants. We first used the Daikon tool to report likely program invariants using the branch coverage and all definition-use pair coverage test suites for several programs. We then generated invariant-coverage suites for these likely invariants. When Daikon was run with the invariant-coverage suites, several spurious invariants reported earlier by the branch coverage and definition-use pair coverage test suites were removed from the reported invariants. Our approach also produced more meaningful invariants than randomly generated test suites.