TY - THES A3 - Engels, Gregor AB - Die heutigen Techniken des Softwaretestens müssen der steigenden Komplexität von langlebigen Systemen gerecht werden. Derzeit erfreuen sich die Techniken des modellbasierten Testens (MBT) starkem Interesse sowohl in der Forschung als auch der Industrie. Obwohl MBT seit Jahrzehnten erforscht wird, gibt es praxisrelevante Probleme die bislang nicht gelöst worden sind. Im Kontext der modellbasierten Softwareentwicklung fehlt es an Ansätzen die Entwicklermodelle automatisch wiederverwenden, dabei aber die interne Testqualität im Sinne der Vollständigkeit, Verständlichkeit, Analysierbarkeit oder Verfolgbarkeit der automatisch generierten Testartefakte betrachten. Insbesondere fehlt auf der Stufe des funktionalen Systemtests in MBT eine ganzheitliche Sicht auf Analysemodelle die unterschiedliche Modellierungssichten (wie Struktur, Verhalten und Interaktion) bei der Generierung eines Testmodells betrachten würde. Wir nennen es die holistische Sicht und untersuchen dessen Anwendung in MBT und die dabei entstehende Korrelation zu Verbesserung der internen Testqualität sowie des sinkenden Modellierungsaufwands. In dieser Arbeit stellen wir den holistischen MBT Testspezifikationsprozess vor, der die genannten Probleme behandelt. Der Prozess besteht aus vier Schritten, von denen zwei automatisch und zwei manuell durchgeführt werden. Im ersten Schritt wird das Analysemodell, welches durch Business-Analysten erstellt wurde, von Testdesignern auf Testbarkeit geprüft und mit einer Annotationssprache prorisiert. Im zweiten Schritt wird mit Hilfe mehrerer Algorithmen ein Testmodell generiert und die erreichte Modellabdeckung des Analysemodells automatisch berechnet. Das Testmodell wird im dritten Schritt manuell untersucht und um Testdaten ergänzt. Am Ende werden konkrete Testfälle in platformspezifischen Formaten automatisch generiert. AU - Mlynarski, Michael DA - 2011 DP - Universität Paderborn LA - eng N1 - Tag der Verteidigung: 10.06.2011 N1 - Paderborn, Univ., Diss., 2011 PB - Veröffentlichungen der Universität PY - 2011 SP - XIV, 264 S. : graph. Darst. T2 - Institut für Informatik TI - Holistic use of analysis models in model-based system testing UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-7684 Y2 - 2026-02-05T21:50:58 ER -