Our expert design & development services are crafted to elevate your digital presence. Partner with us for innovative, user-centric solutions designed for the American market.
Boost productivity and streamline operations with our Canadian business process management company. Discover tailored solutions for your business. Learn more!
Elevate your business with expert Business Process Management services in Germany. Optimize processes and achieve excellence. Get in touch for a consultation!
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and 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. Future of Software Engineering, 2007. FOSE '07, page 85-103. (2007)MR: Das bisher erreichte in Bezug auf Software-Testen wurde gut zusammengetragen. Für IST-SPL sind die Kapitel zu MBT (mit Testorakeln) und automatischen Testen interessant.
Die Notwendigkeit der Kombinierungsmöglichkeiten von verschiedenen Modelltypen (transition-based, pre/post condition-based, scenarion-based) wurde hervorgehoben..
J. Xu, Y. Gao, S. Christley, and G. Madey. HICSS '05: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 7, page 198. Washington, DC, USA, IEEE Computer Society, (2005)
A. Bertolino. Abstract State Machines, page 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..
T. Omori, and K. Maruyama. MSR '08: Proceedings of the 2008 international workshop on Mining software repositories, page 31--34. New York, NY, USA, ACM, (May 2008)
J. Ratzinger, T. Sigmund, and H. Gall. MSR '08: Proceedings of the 2008 international workshop on Mining software repositories, page 35--38. New York, USA, ACM, (2008)
T. Erickson. Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques, page 357-368. New York, NY, ACM Press, (2000)
S. Vegas, and V. Basili. Empirical Software Engineering, 10 (4):
437-466(2005)MR: Versucht die Antwort auf die Frage zu erleichtern: Wie soll indentifiziert werden, welches Testkriteria passen am besten zu meinem Testselektionsproblem?
Bei IST-SPL könnte es zur Begründung des eingesetzten Überdeckungskriteriums herangezogen werden..