Die Generierung von Testfällen aus einem vollständigen Verhaltensmodell hat sich bereits vielfach als vorteilhaft erwiesen. Diese Technik wird nun genutzt, um Testfälle zu ermitteln, welche einzelne Anforderungen adressieren. Somit kann eine Abdeckung der Anforderungen durch Testfälle gezeigt werden. Basis ist die Formulierung von Anforderungsszenarien. Dabei bleiben die Vorzüge der modellbasierten Testfallgenerierung erhalten. Insbesondere wird eine isolierte Betrachtung einzelner Anforderungen vermieden. Es wird ein hoher Automatisierungsgrad erreicht, gleichzeitig ist eine projektspezifische Steuerung der Testfallgenerierung möglich. Im Vergleich mit den Ergebnissen klassischer Testfallgenerierung konnte eine stärkere Adressierung der Szenarien gezeigt werden. Weiter wird die Gütebewertung von Testfällen, insbesondere hinsichtlich der Überdeckung von Anforderungen, diskutiert sowie der Prozess zum Einsatz der Methode skizziert.      «

Die Generierung von Testfällen aus einem vollständigen Verhaltensmodell hat sich bereits vielfach als vorteilhaft erwiesen. Diese Technik wird nun genutzt, um Testfälle zu ermitteln, welche einzelne Anforderungen adressieren. Somit kann eine Abdeckung der Anforderungen durch Testfälle gezeigt werden. Basis ist die Formulierung von Anforderungsszenarien. Dabei bleiben die Vorzüge der modellbasierten Testfallgenerierung erhalten. Insbesondere wird eine isolierte Betrachtung einzelner Anforderungen...     »

Generation of test cases out of a complete behavior model has already shown its benefits. This technique is now used to produce test cases which address individual requirements. Thus, the coverage of requirements by the test cases is documented. The method is based on the specification of requirement scenarios. The advantages of model-based testing remain present. Especially, single requirements won’t be treated in an isolated view. A high degree of automation is achieved, but project specific control is still possible. In comparison with known test case generation methods a stronger relationship of the test cases to the requirements can be shown. Furthermore the quality evaluation of test cases is discussed, with the main focus on requirements coverage. The process to apply the proposed method is illustrated.     «

Generation of test cases out of a complete behavior model has already shown its benefits. This technique is now used to produce test cases which address individual requirements. Thus, the coverage of requirements by the test cases is documented. The method is based on the specification of requirement scenarios. The advantages of model-based testing remain present. Especially, single requirements won’t be treated in an isolated view. A high degree of automation is achieved, but project specific...     »