DagSemProc.08351.3.pdf
- Filesize: 31 kB
- 2 pages
Document
Co-testability Transformation
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8351
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-05-25
Cite As Get BibTex
Philip McMinn. Co-testability Transformation. In Evolutionary Test Generation. Dagstuhl Seminar Proceedings, Volume 8351, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.08351.3
Abstract
This paper introduces the notion of ‘co-testability transformation’. As opposed to traditional testability transformations, which replace the original program in testing, co-testability transformations are designed to be used in conjunction with the original program (and any additional co-transformations as well). Until now, testability transformations have only been used to improve test data generation. However, co-testability transformations can function as partial oracles. This paper demonstrates practical usage of a co-testability transformation for automatically detecting floating-point errors in program code.
Subject Classification
Keywords
- Search-based testing
- testability transformation
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads