The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Agile software development ecosystems
Agile software development ecosystems
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
A Practical Guide to SysML: Systems Modeling Language
A Practical Guide to SysML: Systems Modeling Language
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Metamodel usage analysis for identifying metamodel improvements
SLE'10 Proceedings of the Third international conference on Software language engineering
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Hi-index | 0.00 |
This paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts.