Getting to 35 million tests per day would cost around $100 billion, according to Romer. It’s a steep price tag, but a fraction of the $350 billion or so in monthly economic losses due to the ongoing lockdowns and social distancing measures in the United States.
R. Jäschke, F. Eisterlehner, A. Hotho, und G. Stumme. RecSys '09: Proceedings of the 2009 ACM Conference on Recommender Systems, New York, NY, USA, ACM, (2009)(to appear).
T. Chen, S. Tang, P. Poon, und T. Tse. QSIC '05: Proceedings of the Fifth International Conference on Quality Software, Seite 55--63. Washington, DC, USA, IEEE Computer Society, (2005)
A. Reuys, S. Reis, E. Kamsties, und K. Pohl. Erfurt, (2003)Proceedings of the PLEES’03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing.
S. Wappler, und J. Wegener. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 2, Seite 1925--1932. Seattle, Washington, USA, ACM Press, (8-12 July 2006)
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, und X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..
A. Bertolino. Abstract State Machines, Seite 1-21. (2003)MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art.
Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem..
J. Calame, N. Ioustinova, und J. van de Pol. Electronic Notes in Theoretical Computer Science, (Oktober 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..
D. Peters, und D. Parnas. IEEE Transactions on Software Engineering, 24 (3):
161--173(1998)ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig..