TESTOR deriving test sequences from model-based specifications

• Published in: Component-Based Software Engineering pp. 267 - 282
• Main Authors: Pelliccione, Patrizio, Muccini, Henry, Bucchiarone, Antonio, Facchini, Fabrizio
• Format: Conference Proceeding Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag 01.01.2005; Springer Berlin Heidelberg; Springer
• Series: ACM Conferences
• Subjects: Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Message Sequence Chart; Sequence Diagram; Software; Software and its engineering; Software and its engineering > Software creation and management; Software and its engineering > Software creation and management > Software verification and validation; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging; Software engineering; State Machine; Test Case Selection; Test Sequence; Model-based reasoning; Software development; Dependability; State diagram; Model specification; Functional analysis; Software component; Behavior model
• ISBN: 9783540258773; 3540258779
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/11424529_18

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 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 testing. 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 implementation.