Please use this identifier to cite or link to this item:
Title: Exploring the link between test suite quality and automatic specification inference
Authors: Chircop, Luke
Colombo, Christian
Micallef, Mark
Keywords: Software engineering -- Case studies
Computer software -- Testing
Computer programs -- Verification
Formal methods (Computer science)
Issue Date: 2017
Publisher: Open Publishing Association
Citation: Chircop, L., Colombo, C., & Micallef, M. (2017). Exploring the link between test suite quality and automatic specification inference. 2nd International Workshop on Pre- and Post-Deployment Verification Techniques, Torino. 44-56.
Abstract: 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%.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Exploring_the_link_between_test_suite_quality_and_automatic_specification_inference.pdf175.71 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.