Testen bezeichnet Aktivitäten mit dem Ziel, die Übereinstimmung oder die Abweichung des Soll- und Istverhaltens eines Systems nachzuweisen. Das Sollverhalten wird durch Testfälle codiert, die neben den Eingaben für das zu testende System auch die erwarteten Ausgaben spezifizieren. Nach Applikation der Eingaben an das zu testende System werden die Ausgaben des Systems mit den erwarteten Ausgaben des Testfalls verglichen. Eine viel versprechende Testmethodik ist das modellbasierte Testen, das Nachteile klassischer Methoden zur Definition von Testfällen überwindet und ein strukturiertes, nachvollziehbares und automatisches Ableiten von Testfällen unterstützt. Die Idee des modellbasierten Testens ist, das Sollverhalten explizit durch ein abstraktes Verhaltensmodell, das so genannte Testmodell, zu spezifizieren und aus diesem Testmodell Testfälle für das zu testende System abzuleiten. Eine Reihe von erfolgreichen Fallstudien im industriellen Kontext belegen, dass aus technischer Sicht bereits ausreichend leistungsfähige Testfallgeneratoren zur automatischen Ableitung von Testfällen zur Verfügung stehen. Methodische Probleme bei der Erstellung von Testmodellen beeinträchtigen jedoch den effizienten Einsatz der modellbasierten Testmethodik. Bisher ist unzureichend geklärt, auf welchem Abstraktionsniveau und mit welchen Abstraktionen Testmodelle erstellt werden sollen. Weiterhin erreichen Testmodelle trotz der verwendeten Vereinfachungen eine hohe Komplexität. Dies erfordert einen strukturierten Entwicklungsprozess, der eine korrekte Modellierung gegenüber den Anforderungen des zu testenden Systems sicherstellt. Überdies sind keine Arbeiten bekannt, die die Güte von modellbasierten Tests gegenüber traditionell entwickelten Tests vergleichen. Diese Defizite behandeln wir in dieser Arbeit: Wir stellen einen inkrementellen Entwicklungsprozess zur Erstellung von Testmodellen bereit, der durch sein strukturiertes Vorgehen die Qualität gegenüber den Anforderungs- und Spezifikationsdokumenten sichert. Wir identifizieren geeignete Abstraktionstechniken, die integriert in den Entwicklungsprozess die Bildung von Testmodellen erleichtern. Weiterhin unterstützen wir den Reviewprozess von Testmodellen durch ein geeignetes Transformationsverfahren von Verhaltensmodellen. Abschließend demonstrieren wir die Konzepte anhand einer industriellen Fallstudie und vergleichen im Rahmen dieser Fallstudie modellbasierte Tests mit traditionell erstellten Tests bezüglich ihrer Abdeckung und Fehleraufdeckungsrate.     «

Testen bezeichnet Aktivitäten mit dem Ziel, die Übereinstimmung oder die Abweichung des Soll- und Istverhaltens eines Systems nachzuweisen. Das Sollverhalten wird durch Testfälle codiert, die neben den Eingaben für das zu testende System auch die erwarteten Ausgaben spezifizieren. Nach Applikation der Eingaben an das zu testende System werden die Ausgaben des Systems mit den erwarteten Ausgaben des Testfalls verglichen. Eine viel versprechende Testmethodik ist das modellbasierte Testen, das Nach...     »

Testing denotes activities that aim at proving the conformance or the deviation of a system’s intended and actual behaviour. The intended behaviour is coded by test cases which specify in addition to the inputs the expected outputs of the system under test. After applying the inputs to the system under test the actual outputs of the system are compared with the expected outputs of the test case. Model-based testing is a promising method for testing which overcomes the drawbacks defining test cases in a traditional way and supports a structured, comprehensible and automatic derivation of test cases. The idea of model-based testing is to specify the intended behaviour explicitly with an abstract behaviour model---called test model---and to generate test cases from this test model for the system under test. Many successful case studies show in an industrial context that from a technical point of view there exist already adequate test case generators for deriving test cases automatically. However, methodical problems in building test models impact the efficient application of the model-based testing method. By now, it is unclear at which abstraction level and with which abstractions test models have to be built. Additionally, test models reach a high complexity in spite of the applied simplifications. This demands a structured developing process which ensures modelling correctly the system under test in respect to its requirements. Moreover, there is no work known that compares the quality of model-based tests in respect of tests developed traditionally. Within this work we address these shortcomings: we provide an incremental developing process for building test models which ensures the quality in respect to requirement and specification documents by proceeding structurally. We identify appropriate abstraction techniques which are integrated in the developing process and ease building the test models. Moreover, we support the review process of test models by an adequate transformation method for behaviour models. Finally, we demonstrate these concepts applying them to an industrial case study and within this case study we compare model-based tests with tests developed in a traditional way in respect of their coverage and error detection.     «

Testing denotes activities that aim at proving the conformance or the deviation of a system’s intended and actual behaviour. The intended behaviour is coded by test cases which specify in addition to the inputs the expected outputs of the system under test. After applying the inputs to the system under test the actual outputs of the system are compared with the expected outputs of the test case. Model-based testing is a promising method for testing which overcomes the drawbacks defining test cas...     »