Mit der Systems Modelling Language (SysML) existiert ein neuer Standard zur Spezifikation von Systemen. SysML basiert auf der weit verbreiteten Unified Modelling Language (UML) und erweitert diese um einige neue, für die Systemmodellierung nützliche Konzepte. Darüber hinaus lässt sich SysML durch eigene Erweiterungen (Profile) auch an domänenspezifische Aufgabenstellungen anpassen. Im Rahmen dieser Arbeit wird SysML verwendet, um ein Systemmodell für den Modell-basierten Systemtest von Car Multimedia Systemen zu konzipieren und zu erstellen. Im Modell erfolgt dabei eine Trennung zwischen funktionalen und produktspezifischen Aspekten, die es möglich macht, wiederverwendbare Testfälle auf funktionaler Ebene produktunabhängig zu beschreiben oder zu generieren, um diese zum Test mehrerer gleichartiger Produkte zu verwenden und so die Testabdeckung zu erhöhen. Die dynamische Systembeschreibung im Modell erfolgt dabei nicht mit Zustandsautomaten, sondern unter durchgehender Verwendung von SysML-Aktivitätsdiagrammen. Dafür erarbeitete Modellierungsmuster ermöglichen eine iterative Erstellung des Systemmodells, eine Überführung bestehender informeller Systemspezifikationen in das formale Modell sowie eine Generierung von Testfällen durch eine Simulation des Verhaltensmodells. Durch den Einsatz von domänenspezifischen Modellelementen zur Beschreibung des Verhaltens der zu testenden Produkte aus der Domäne Telematik, können aus produktunabhängigen Testfällen automatisiert ablaufbare, produktspezifische Testfälle erstellt werden. Ein durchgängiges Beispiel eines automobilen MOST Audiosystems illustriert die Konzepte am praktischen System.
New functions like internet connection, 3D-navigation or connection of consumer electronic products lead to continuously increasing parts of software and an increasing complexity of modern telematics systems. To ensure the quality of such systems more and more software tests are required of the System and its subsystems. Nowadays, test cases are created manually by the test case developer based on informal requirements. Because of limited project time and budget, this leads to an insufficient test coverage. Additionally, these Lest cases are not reusable for testing of similar systems or functions because the test cases are full of product-specific information. So with one test case only one specific type of system is testable. Model-based testing can improve this situation. In model-based testing, the informal specifications are replaced by a more formal model. This formal model enables the automatic derivation of test information. With the Systems Modeling Language (SysML), a new modeling standard for formal system specification exists. SysML is based on the widely used Unified Modeling Language (UML) and extended by new constructs for system modeling. Furthermore, SysML is extendible by profiles to support new domain specific modeling tasks. In this thesis, SysML is used to devise and build a system model for model-based system testing of car multimedia systems. In the model, functional and technical aspects are separated to be able to manually create or derive reusable test cases on a functional level. These test cases can he used to test similar systems with the same functionality by using the Same test case and this leads to an improved test coverage. To describe the dynamic system aspects, SysML activity diagrams are used. This is a difference to many other approaches using state charts. Activity modeling patterns developed in this approach allow an iterative creation of the system model and simplify the transmission of the informal system specification to a formal one. Furthermore, the created SysML model allows an automatic derivation of functional, reusable fest cases as a result of a model simulation. An automated transformation to product-specific test cases for automated testing of specific products is presented using telematics domain specific modeling. A comprehensive example consisting of an automotive MOST audio system illustrates the developed concepts in practice.
Car Multimedia Systeme Modell-basiert testen mit SysML
Car multimedia systems - model based testing with SysML
2009
202 Seiten, Bilder, Tabellen, Quellen
Theses
German
Car Multimedia Systeme Modell-basiert testen mit SysML
SLUB | 2009
|Car Multimedia Systeme Modell-basiert testen mit SysML
TIBKAT | 2009
|Car Multimedia Systeme Modell-basiert testen mit SysML
TIBKAT | 2009
|Schnelleres Testen mechatronischer Systeme
Automotive engineering | 2009
|Testen modularer Systeme - eine ( Heraus ) Forderung komplexer Systeme
Automotive engineering | 2009
|