Title: State coverage: Software validation metrics beyond code coverage
Authors: Vanoverberghe, Dries
de Halleux, Jonathan
Tillmann, Nikolai
Piessens, Frank
Issue Date: Jan-2012
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:7147 pages:542-553
Series Title: SOFSEM 2012: Theory and Practice of Computer Science
Conference: SOFSEM edition:38 location:Špindlerův Mlýn, Czech Republic date:21-27 January, 2012
Abstract: Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether some unit of code is sufficiently tested are based on code coverage, which measures what code fragments are exercised by the test
suite. Unfortunately, code coverage does not measure to what extent the test suite checks the intended functionality.

We propose state coverage, a metric that measures the ratio of state updates that are read by assertions with respect to the total number of state updates, and we present efficient algorithms to measure state coverage. Like code coverage, state coverage is simple to understand and we show that it is effective to measure and easy to aggregate. During a preliminary evaluation on several open-source libraries, state coverage helped to identify multiple unchecked properties and detect several bugs.
ISBN: 978-3-642-27659-0
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
final.pdf Published 288KbAdobe PDFView/Open Request a copy

These files are only available to some KU Leuven Association staff members


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science