Konferenzbeitrag

System testing and program verification

Lade...
Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2015
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Software-engineering and management 2015
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
The effectiveness of black-box system testing can be increased by automatic program verification techniques. For example, the redundancy of a test case can be detected by static analysis; the analysis must be applied to a program in the `whitebox' layer of the system under test (e.g., in the setting of GUI testing, to the program which defines the event handlers). We will investigate the question of how automatic program verification techniques can be used to reduce the cost of testing and at the same time provide a guarantee for test coverage.
Beschreibung
Arlt, Stephan; Arenis, Sergio Feo; Podelski, Andreas; Wehrle, Martin (2015): System testing and program verification. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 71-72. Dresden. 17.-20. März 2015
Schlagwörter
Zitierform
DOI
Tags