QSP Labs
Modellbasiertes Testdesign - Testfälle automatisch generieren
Martin Beißer
Abteilungsleiter F&E, sepp.med gmbh
28.11.2014, 14:00 – 18:00
Seminar Room 3W03 (2nd floor), Technikerstr. 21a, 6020 Innsbruck
Die Methode modellbasierter Test hat zum Ziel das Testdesign auf
eine solide, systematische Basis zu stellen. Sie nimmt daher an
Aufmerksamkeit und Bedeutung stetig zu.
Testmodelle sind
spezielle graphische Modelle, erstellt z.B. in bekannten
UML-Tools, aus denen automatisch konkrete, ausführbare Testfälle
abgeleitet werden können.
Ziel des Workshop ist es die
Methodik des graphischen Testdesigns zu vermitteln. Es wird
gezeigt wie mittels der Diagrammtypen Aktivitäts- und
Zustandsdiagramm unter Einbeziehung der Anforderungen ein
Testdesign erstellt werden kann.
Das Modell dient als
Grundlage einer automatische Testfallgenerierung nach
strategischen Überlegungen. Es wird vermittelt welche Strategien
zur Testfallerstellung eingesetzt und in welcher Testsituation sie
verwendet werden.
Structure: Exercises with notebooks
Language:
German
Modellierungskenntnisse mit EnterpriseArchitect sind von Vorteil
Maximal number of participants: 12
Promotion in einem Thema der Seismologie
Post-Doc-Aufenthalt Universität Boulder, Colorado, USA
Projektleiter am GeoForschungsZentrum Potsdam
Industrielle Tätigkeiten im Bereich Qualitätssicherung,
Softwareentwicklung
Seit 2000 leitender Angestellter der
sepp.med gmbh, verantwortlich für Methodik .mzT und Entwicklung
Testgenerator.