This work is part of an M&SBSE (Modeling and Simulation-Based Systems Engineering) initiative for cyber-physical systems. The design and the validation of such systems, in which the operations of physical entities are controlled by computing cores, are particularly challenging since they require the cooperation of many disciplines. To address the verification challenge, we have previously proposed a requirement driven testing approach. In that context, we present here the specification and the implementation of a method that automatically transforms models of test scenarios originating from requirements into automated tests, thus driving the verification process from early design phases to simulation, and ultimately to the validation of the final product.
展开▼