2015 | OriginalPaper | Buchkapitel
Model-Based Testing Against Complex SysML Models
verfasst von : Christoph Hilken, Jan Peleska
Erschienen in: Formal Modeling and Verification of Cyber-Physical Systems
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In recent years higher level of abstractions are considered to cope with the complexity in today’s system design. Especially, modeling languages such as SysML get increasingly popular in early design phases. Model-based testing allows to use those models for test generation. Test cases are derived from the model and not directly from the specification. In this work a new proposed methodology will be implemented in an existing model-based testing tool. Afterwards this methodology is used to extend the tool to support activities as well as state machines and not only state machines.