Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain

Justyna Zander; Ina Schieferdecker; Tibor Farkas

Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain

Abstrakt

The approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them in the same framework as the system model. The meta-models for Simulink and Test are explained and will enable automatic transformation in the future. The testing concepts of UML 2.0 Testing Profile (U2TP) have been partially adopted, however also enriched so as to deal with continuous functions, real-time constraints and to mirror Simulinkspecific

Autorzy (3)

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

pełna treść artykułu zobacz w serwisie zewnętrznym otwiera się w nowej karcie

Słowa kluczowe

TESTING

Informacje szczegółowe

Kategoria:: Aktywność konferencyjna
Typ:: publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Tytuł wydania:: Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain strony 131 - 140
Język:: angielski
Rok wydania:: 2006
Opis bibliograficzny:: Zander J., Schieferdecker I., Farkas T.: Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain// Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain/ ed. http://www.sse-tubs.de/publications/GRS_MBEES_InfoBericht_06.pdf : , 2006, s.131-140
Weryfikacja:: Politechnika Gdańska