Konferenzbeitrag

Test Automation Meets Static Analysis

Lade...
Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2007
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Informatik 2007 – Informatik trifft Logistik – Band 2
Regular Research Papers
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how fun- damental methods of static analysis, in particular abstract interpretation by interval analysis, contribute to the solution of problems typically encountered in the field of automated test case/test data generation. Conversely, test data generation algorithms are useful to improve results obtained in static analyses: Potential errors identified in the unit under test (UUT) during an analysis can be confirmed by constructing concrete test data leading to the erroneous UUT state. False alarms resulting from over-approximating abstractions applied during the analyses can be uncovered using test automation algorithms disproving the reachability of associated code portions and program states.
Beschreibung
Peleska, Jan; Löding, Helge; Kotas, Tatiana (2007): Test Automation Meets Static Analysis. Informatik 2007 – Informatik trifft Logistik – Band 2. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-206-1. pp. 280-286. Regular Research Papers. Bremen. 24.-27. September 2007
Schlagwörter
Zitierform
DOI
Tags