A new structural coverage criterion for dynamic detection of program invariants

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Pub Date : 2003-10-06 DOI:10.1109/ASE.2003.1240294

Neelam Gupta, Zachary V. Heidepriem

{"title":"A new structural coverage criterion for dynamic detection of program invariants","authors":"Neelam Gupta, Zachary V. Heidepriem","doi":"10.1109/ASE.2003.1240294","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":114604,"journal":{"name":"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.","volume":"66 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"36","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.2003.1240294","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 36

Abstract

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

一种新的动态检测程序不变量的结构覆盖准则

程序不变量的动态检测是一个重要的研究领域，存在许多具有挑战性的问题。生成支持准确检测程序不变量的合适测试用例对于动态检测程序不变量至关重要。本文提出了一种新的用于动态检测程序不变量的结构覆盖准则——不变量覆盖准则。我们还展示了如何使用不变量覆盖准则来提高动态检测不变量的准确性。我们首先使用Daikon工具使用分支覆盖和几个程序的所有定义-使用对覆盖测试套件来报告可能的程序不变量。然后我们为这些可能的不变量生成不变量覆盖套件。当使用不变量覆盖套件运行Daikon时，之前由分支覆盖和定义使用对覆盖测试套件报告的几个虚假的不变量将从报告的不变量中删除。我们的方法还产生了比随机生成的测试套件更有意义的不变量。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.

自引率

0.00%

发文量