PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Miranda B., Bertolino A. Improving test coverage measurement for reused software. Submitted for publication, Technical report, 2015.
 
 
Abstract
(English)
Test coverage adequacy measures provide a widely used stopping criterion. Engineering of modern software-intensive systems emphasizes reuse. In the case that a program including reused code or third-party components uses them in a context that is different from the original one, some of their entities (e.g. branches) might never be exercised, thus producing a code coverage level far from full and not meaningful anymore as a stopping rule for the program at hand. We introduce a new coverage criterion that in each testing context in which a code is reused calculates coverage measures over the set of relevant entities for that context. We provide an approach for identifying relevant entities using dynamic symbolic execution. The introduced coverage adequacy criterion is assessed in an exploratory study against traditional coverage in terms of test suite size reduction factor, cost-effectiveness ratio and rate of fault detection.
Subject Software testing
Coverage criteria
D.2.5 [Software Engineering]: Testing and Debugging| Testing tools (e.g., data generators, coverage testing)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional