Volume 12 Number 10 (Oct. 2017)
Home > Archive > 2017 > Volume 12 Number 10 (Oct. 2017) >
JSW 2017 Vol.12(10): 816-823 ISSN: 1796-217X
doi: 10.17706/jsw.12.10.816-823

Invariant Detection Using Enhanced Autoinfer

Sadia Ashraf, Almas Abbasi*

International Islamic University (IIUI), H10, Dept. of Computer Science, Islamabad, Pakistani.

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)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 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]

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]