Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2007 Informatik trifft Logistik Band 2 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-110, 280-286 (2007).

Gesellschaft für Informatik, Bonn


Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.), Rainer Koschke (ed.)

Copyright © Gesellschaft für Informatik, Bonn


Test Automation Meets Static Analysis

H. Löding , T. Kotas and J. Peleska


In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how fundamental 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.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-206-1

Last changed 04.10.2013 18:15:02