Deriving Test Sequences from Model-based Specifications

Abstract. 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 im-plementation. In particular, model-based specifications of a component-based system allows to explicitly model the structure and behavior of components and their integration, while model-based testing allows to derive test sequences which can be successively refined into test cases and then run onto the system implementation. Several techniques have been proposed so far to allow model-based test-ing. However, very few of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TeStor, a TEst Sequence generaTOR algorithm which allows to extract test sequences from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link to its implementa-tion.