dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Haas, W. | |
dc.date.accessioned | 2011-08-22T09:01:25Z | |
dc.date.available | 2011-08-22T09:01:25Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Kirner , R & Haas , W 2009 , Automatic calculation of coverage profiles for coverage-based testings . in In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung . Kolloquium Programmiersprachen und Grundlagen der Programmierung , Vienna , United Kingdom , 1/08/09 . | |
dc.identifier.citation | conference | |
dc.identifier.uri | http://hdl.handle.net/2299/6334 | |
dc.description | Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Informatik | |
dc.description.abstract | Code-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 used for the development of safety-critical applications, as the modified condition/decision coverage (MCDC) is proposed by the DO178b document. One critical issue of code-coverage testing is that they are typically applied to source code while the generated machine code may result in a different code structure due to code optimizations performed by an compiler. In this work we describe the automatic calculation of coverage profiles describing which structural code-coverage criteria are preserved by which code optimization. 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. | en |
dc.format.extent | 16 | |
dc.format.extent | 255991 | |
dc.language.iso | eng | |
dc.relation.ispartof | In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung | |
dc.title | Automatic calculation of coverage profiles for coverage-based testings | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Centre for Future Societies Research | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |