• Exploring the link between tes...

Treffer: Exploring the link between test suite quality and automatic specification inference

Title:
Exploring the link between test suite quality and automatic specification inference
Authors:
Chircop, Luke, Colombo, Christian, Micallef, Mark, 2nd International Workshop on Pre- and Post-Deployment Verification Techniques
Publisher Information:
Open Publishing Association
Publication Year:
2017
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Software engineering -- Case studies, Computer software -- Testing, Computer programs -- Verification, Formal methods (Computer science)
Document Type:
Konferenz conference object
Language:
English
Relation:
https://www.um.edu.mt/library/oar//handle/123456789/30667
DOI:
10.4204/EPTCS.254.4
Availability:
https://www.um.edu.mt/library/oar//handle/123456789/30667
https://doi.org/10.4204/EPTCS.254.4
Rights:
info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder
Accession Number:
edsbas.19E0FF02
Database:
BASE

Weitere Informationen

While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out — and even when they do, it is hard to check their correctness and completeness. This work explores the possibility of using an invariant extraction tool such as Daikon to automatically infer specifications from available test suites with the idea of aiding software engineers to improve the specifications by having another version to compare to. Given that our initial experiments did not produce satisfactory results, in this paper we explore which test suite attributes influence the quality of the inferred specification. Following further study, we found that instruction, branch and method coverage are correlated to high recall values, reaching up to 97.93%. ; peer-reviewed