Stand der Forschung von Software-Tests und deren Automatisierung

Dieser Report untersucht aktuelle Forschungsansätze im Themengebiet Testen und Testautomatisierung. Vorgestellt werden jeweils Ansätze, die exemplarisch für ihre Klasse stehen. Betrachtet wird die vollautomatische Testfallgenerierung aus formalen Anforderungen, die Testfallerstellung aus halbformalen Anforderungen wie z.B. UML, sowie die Testdatengewinnung. Testdurchführung und Testauswertung werden nur kurz gestreift, intensiver behandelt wird dafür die Wiederverwendung von Testfällen, die Optimierung von Testsuiten für Regressionstest, sowie Teststrategien für objektorientierte Software.