...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Invariant Detection Using Enhanced Autoinfer
【24h】

Invariant Detection Using Enhanced Autoinfer

机译：使用增强型自动推断的不变检测

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

AutoInfer is a tool that is the state of the art in invariant detection. Invariants are properties of program components that remain unchanged throughout the execution of that component. AutoInfer automatically detects invariants for the programs under test which may or may not have a few invariant already present in them. AutoInfer uses AutoTest to generate a test suite for a given Program under test. The test suite (TS) is generated randomly using routine coverage as the coverage criteria. The generated TS is run on the program to create a change profile for the program, which in turn is used to activate relevant templates to generate quantified expressions. These expressions are the candidate contracts. Candidate contracts when run against the test cases are validated if they do not fail any test case. AutoInfer’s results are heavily based on the generated Test Suite. The better the generated Test Suite is better the final contracts will be. The work in this paper proposes that using Whole Test Suite (WTS) generation instead of random generation to generate the TS will results in a faster generation of the TS and will capture more errors as compared to AutoInfer. WTS is the state of the art in TS generation so it will result in better coverage and an improved fault detection capability.
机译：AutoInfer是不变检测中最先进的工具。不变性是程序组件的属性，在该组件的整个执行过程中保持不变。 AutoInfer自动检测被测程序的不变量，其中可能已经存在或可能不存在一些不变量。 AutoInfer使用AutoTest为给定的被测程序生成测试套件。测试套件（TS）是使用常规覆盖率作为覆盖标准随机生成的。生成的TS在程序上运行以创建程序的更改配置文件，该更改配置文件又用于激活相关模板以生成量化表达式。这些表述是候选合同。如果未通过任何测试用例，则针对测试用例运行的候选合同将得到验证。 AutoInfer的结果很大程度上取决于生成的测试套件。生成的测试套件越好，最终合同就越好。本文的工作提出，与自动推理相比，使用整体测试套件（WTS）生成而不是随机生成来生成TS将导致TS生成速度更快，并捕获更多错误。 WTS是TS生成的最新技术，因此它将导致更好的覆盖范围和改进的故障检测能力。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号