TeStor: deriving test sequences from model-based specifications

The dependability analysis of a component-based system may be driven by the components/system implementation or by the model-based specification provided prior to or together with the implementation. In particular, model-based testing allows to derive test cases from the model and to successively run them on the system implementation. Several techniques have been proposed so far to allow model-based testing. However, almost none of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TGE, the Test Generation Engine, an algorithm which allows to extract test cases from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link on its implementation.