J. Edvardsson. (1999)ST: In diesem Paper wird ein Überblick gegeben wie Testdaten automatisch generiert werden können. An einem Beispiel wird die Vorgehensweise erläutert, wie Testdaten autoamtisch abgeleitet werden können; es eignet sich gut um die Grundlagen zu verstehen. Es werden weiterhin unterschiede zwischen zielorientierter, zufälliger, und pfadorientierter Testdatenableitung aufgezeigt..
S. Rapps, and E. Weyuker. ICSE '82: Proceedings of the 6th international conference on Software engineering, page 272--278. Los Alamitos, CA, USA, IEEE Computer Society Press, (1982)
J. Calame, N. Ioustinova, and J. van de Pol. Electronic Notes in Theoretical Computer Science, (October 2007)MR: Stark formalisiertes und mathematisch ergründetes Werk.
Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt.
Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden!
Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant..
B. Korel, and A. Al-Yami. icse, (1996)ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehensweise werden mehr Fehler gefunden als mit herkömmlichen Methoden..