A. Engel. Wiley Series in Systems Engineering and Management Wiley, 1 edition, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..
P. Fröhlich, and J. Link. ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, page 472--492. London, UK, Springer-Verlag, (2000)
M. Friske, and H. Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, 2005-01, TU Braunschweig, (January 2005)
R. Schmidberger, and S. Biermann. Informatik 2007 - Band 2, GI-Edition, (September 2007)MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt.
ISBN 978-3-88579-204-8.
J. Andrews. ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering, page 157. Washington, DC, USA, IEEE Computer Society, (1998)ST: Interessantes Paper. Basis sind eine Menge von Zustandsautomaten, die als Testorakel dienen, und Logfiles, die während der Ausführung der Testfaelle Eingaben, Ausgaben, aufgerufene Methoden etc speichern. Nach der Ausführung der Tests werden die Logfiles gegen die Automaten geprueft, d.h. ob es für eine mitgeloggte Methodensequenz einen gültigen Lauf in einem Automaten gibt. Falls nicht, widerspricht das Verhalten des System der Spezifikation.
Die Technik ist automatisiert, die Technik wurde beispielhaft im Unittest und im Systemtest vorgestellt..
J. Hartmann, M. Vieira, and A. Ruder. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 58--65. Boston, MA, (August 2004)
S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, and A. Guennec. FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..