Modellbasiertes Testen

Transkript

1 Modellbasiertes Testen Modellierung und Generierung von Tests Grundlagen, Kriterien für Werkzeugeinsatz, Werkzeuge in der Übersicht Helmut Götz Markus Nickolaus Thomas Roßner Knut Salomon März 2009 Copyright 2009: Heise Zeitschriften Verlag GmbH & Co KG Helstorfer Straße Hannover Tel Fax studien@ix.de Web Warennamen werden ohne Gewährleistung einer freien Verwendung benutzt.

2

3 Inhaltsverzeichnis 1 Management Summary Vorwort von Prof. Dr. Mario Winter Allgemeines zu ix-studien Motivation Untersuchte Werkzeuge Wegweiser durch die Studie Einführung ins modellbasierte Testen Modelle in der Softwareentwicklung Grundlagen aus der allgemeinen Modelltheorie Einsatzgebiete und Notationen für Modelle in der Softwareentwicklung Modelle im Testprozess Eindeutige Beschreibung des Sollverhaltens des Systems Definition von Testzielen Modellierung von Tests Zusammenhänge zwischen System- und Testmodell Ableitung von Testinformationen aus Modellen Testen von Modellen Modellbasiertes Testen und Prozessreife MBT und Werkzeuge Typische Werkzeuglandschaft im Testprozess Die MBT-Taxonomie nach Utting, Pretschner und Legeard Verwendete Taxonomie in dieser Studie Kategorie I Modellbasierte Testdatengeneratoren Kategorie II - Modellbasierte Testfalleditoren Kategorie III - Modellbasierte Testfallgeneratoren Klassifizierung der Tools in dieser Studie Bewertungsverfahren und Fragenkatalog Vorgehensweise zur Erstellung der Studie Inhaltliche Schwerpunkte Integrationsmöglichkeiten in eine bestehende Werkzeugkette Testfallmodellierung Testfallgenerierung Testdurchführung und -auswertung Der Fragenkatalog Das Demodrehbuch Werkzeuge und Hersteller im Detail... 91

4 4.1 All4tec - MaTeLo Testfallgenerator Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Conformiq - Qtronic Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick exept Software AG - expecco und expecconet Profil des Herstellers Allgemeine Angaben zu den Werkzeugen Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick imbus - TestBench for Model-Based Testing (itb/mbt) Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Piketec GmbH - Time Partition Testing Profil des Herstellers

5 4.5.2 Allgemeine Angaben zu den Werkzeugen Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Siemens - TDE/UML Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Smartesting - Test Designer Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Telelogic - Rhapsody TestConductor/Automatic Test Generator Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Testing Technologies - TTmodeler for TTworkbench Profil des Herstellers Allgemeine Angaben zum Werkzeug Übersicht über den Einsatz des Werkzeugs

6 4.9.4 Modellierung Generierung und Verwaltung der Ergebnisse Durchführung und Auswertung Konfigurationsmanagement und Traceability Fazit und Ausblick Werkzeuge in der Gegenüberstellung Allgemeines Plattformen Scope Modellierung Testfallgenerierung Testdurchführung und -auswertung Integrationsfähigkeit mit anderen Werkzeugen Nachverfolgbarkeit von Anforderungen und Tests Modellbasiertes Testen Hype, Hoffnungsträger oder alter Hut? Anhang Die Autoren der Studie Helmut Götz Markus Nickolaus Thomas Roßner Knut Salomon Danksagungen Quellen Literaturangaben Webseiten Glossar Verzeichnisse Abbildungen Tabellen