doi: 10.17706/jsw.12.10.816-823
Invariant Detection Using Enhanced Autoinfer
Abstract—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.
Index Terms—Invariant detection, test oracles, software testing, AutoTest.
Cite: Sadia Ashraf, Almas Abbasi, "Invariant Detection Using Enhanced Autoinfer," Journal of Software vol. 12, no. 10, pp. 816-823, 2017.
General Information
ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]