| Testgetriebene agile Simulation Bei der testgetriebenen agilen Simulation werden Simulation und modellgestütztes Testen so kombiniert, dass beide voneinander profitieren und insgesamt eine neue Vorgehensweise zum System Engineering mit verbesserter Qualitätssicherung entsteht. Hierbei werden System- und benutzungsorientierte Testmodelle (kurz Benutzungsmodelle) parallel und iterativ entwickelt. Der gesamte Ansatz ist basierend auf der UML2 konzipiert.
Systemmodelle werden durch Klassen-, Kompositionsstruktur-, Zustands- und Aktivitätsdiagramme beschrieben und können gemäß des MARTE-Profils (Modeling and Analysis of Real-Time and Embedded Systems); um quantitative Aspekte (z.B. deterministische oder stochastische Ausführungszeiten, Verzweigungswahrscheinlichkeiten) erweitert werden. Ein solches Systemmodell wird in C++ übersetzt und in dem Netzwerksimulator OMNeT++ zur Ausführung gebracht, Ergebnisse werden an die UML-Ebene zurückgeliefert. Aus Sicht der Simulation besteht der Vorteil darin, dass Simulationsmodelle standardkonform entwickelt werden können, statt dem proprietären Format des Simulationswerkzeugs entsprechen zu müssen. Aus Sicht des System Engineerings besteht der Vorteil darin, dass Systemmodelle früh in einer Simulationsumgebung ausgeführt werden können. Ein weiterer Vorteil besteht darin, dass mit dem Systemmodell quantitative Auslegungen mittels Simulation erfolgen können.
Davon unabhängig können Benutzungsmodelle zum Testen beschrieben werden. Es werden Zustands- und Sequenzdiagramme verwendet, die die Benutzung des System oder von Teilen des Systems beschreiben. Benutzungsmodelle sind keine Systemmodelle und repräsentieren nur mögliche Eingaben und erwartete Ausgaben. Aus dem Benutzungsmodell können mittels verschiedener Strategien Testfälle generiert werden, die dann ebenfalls auf der Ebene des Simulationswerkzeugs OMNeT++ in Verbindung mit dem Systemmodell zur Ausführung gebracht werden können. Aus Sicht des Testens bietet dies den Vorteil, dass Testfälle bereits früh in einer Simulationsumgebung ausgeführt werden können und dass sowohl das Systemmodell als auch das Benutzungsmodell validiert wird und beide iterativ weiterentwickelt werden können. Aus Sicht der Simulation bietet dies den Vorteil, dass eine systematische Methode bereitgestellt wird, die es erlaubt, Simulationsmodelle zu validieren.
Ein später aus dem Systemmodell generiertes System besitzt eine höhere Qualitätsstufe, die Testfälle auf Simulationsebene können dann ebenfalls zum Testen des Systems verwendet werden. Dieser Ansatz kann in verschiedenen Vorgehensweisen wie z.B. das V-Modell oder agile Prozesse integriert werden. | Projektleitung:
Prof. Dr.-Ing. Reinhard German
Beginn: 1.1.2011
Kontakt:
German, Reinhard
Telefon +49 9131 85 27916, Fax +49 9131 85 27409, E-Mail: reinhard.german@fau.de
| | Publikationen |
|---|
| Schneider, Vitali ; Deitsch, Anna ; Dulz, Winfried ; German, Reinhard: Combined Simulation and Testing Based on Standard UML Models. In: Fiondella, Lance ; Puliafito, Antonio (Hrsg.) : Principles of Performance and Reliability Modeling and Evaluation. . : Springer International Publishing AG, 2016, (Springer Series in Reliability Engineering). | | Schneider, Vitali ; Deitsch, Anna ; Dulz, Winfried ; German, Reinhard: How to Avoid Model Interferences for Test-driven Agile Simulation based on Standardized UML Profiles. In: 2014 Spring Simulation Multi-Conference (SpringSim '14) (Veranst.) : Proceedings of the Symposium on Theory of Modeling and Simulation (Symposium on Theory of Modeling and Simulation Tampa (Florida) 13.-16. April 2014). 2014, S. -. | | Deitsch, Anna ; Schneider, Vitali ; Dulz, Winfried ; German, Reinhard: Test-Driven Agile Simulation for Design of Image Processing Systems. In: IARIA (Veranst.) : Proceedings of 16th International Congerence on Advances in System Testing and Validation Lifecycle (Proceedings of 16th International Congerence on Advances in System Testing and Validation Lifecycle (VALID 14) Nice, France October 2014). 2014, S. -. | | Schneider, Vitali ; German, Reinhard: Integration of Test-Driven Agile Simulation Approach in Service-Oriented Tool Environment. In: 2013 Spring Simulation Multi-Conference (SpringSim '13) (Veranst.) : Proceedings of the 46th Annual Simulation Symposium (ANSS '13) (46th Annual Simulation Symposium (ANSS '13) San Diego (CA) April 2013). 2013, S. -. | | Deitsch, Anna ; Schneider, Vitali ; Kane, Jennifer ; Dulz, Winfried ; German, Reinhard: Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems. In: Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative (DEVS '16). Pasadena, CA, USA : 2016. | Schneider, Vitali ; Yupatova, Anna ; Dulz, Winfried ; German, Reinhard: Merging OMG Standards in a General Modeling, Transformation, and Simulation Framework. In: Proceedings of the 8th International Conference on Simulation Tools and Techniques. Athens, GreeceICST, Brussels, Belgium, Belgium : 2015, S. 299-301. (SIMUTools '15) - ISBN 978-1-63190-079-2
[doi>10.4108/eai.24-8-2015.2261049] |
|