Show simple item record

dc.contributor.authorKirner, Raimund
dc.contributor.authorHaas, Walter
dc.date.accessioned2014-05-08T15:00:10Z
dc.date.available2014-05-08T15:00:10Z
dc.date.issued2014-05
dc.identifier.citationKirner , R & Haas , W 2014 , ' Optimizing compilation with preservation of structural code coverage metrics to support software testing ' , Software Testing, Verification and Reliability , vol. 24 , no. 3 , pp. 184-218 . https://doi.org/10.1002/stvr.1485
dc.identifier.issn0960-0833
dc.identifier.otherPURE: 2052887
dc.identifier.otherPURE UUID: bfcf6d96-697d-438b-a2b6-c6b1cc30e738
dc.identifier.otherScopus: 84898412890
dc.identifier.urihttp://hdl.handle.net/2299/13515
dc.description.abstractCode-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also mandated for the development of safety-critical applications; for example, the DO178b document requires the application of the modified condition/decision coverage. One critical issue of code-coverage testing is that structural code coverage criteria are typically applied to source code whereas the generated machine code may result in a different code structure because of code optimizations performed by a compiler. In this work, we present the automatic calculation of coverage profiles describing which structural code-coverage criteria are preserved by which code optimization, independently of the concrete test suite. These coverage profiles allow to easily extend compilers with the feature of preserving any given code-coverage criteria by enabling only those code optimizations that preserve it. Furthermore, we describe the integration of these coverage profile into the compiler GCC. With these coverage profiles, we answer the question of how much code optimization is possible without compromising the error-detection likelihood of a given test suite. Experimental results conclude that the performance cost to achieve preservation of structural code coverage in GCC is rather low.en
dc.format.extent35
dc.language.isoeng
dc.relation.ispartofSoftware Testing, Verification and Reliability
dc.rightsOpen
dc.subjectstructural code coverage
dc.subjectcoverage preservation
dc.subjectsource-level test-data generation
dc.subjectSoftware
dc.titleOptimizing compilation with preservation of structural code coverage metrics to support software testingen
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.description.statusPeer reviewed
dc.relation.schoolSchool of Computer Science
dc.description.versiontypeSubmitted Version
dcterms.dateAccepted2014-05
rioxxterms.versionSMUR
rioxxterms.versionofrecordhttps://doi.org/10.1002/stvr.1485
rioxxterms.typeJournal Article/Review
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record