TESTOR: deriving test sequences from model-based specifications

  • Authors:

  • Patrizio Pelliccione;Henry Muccini;Antonio Bucchiarone;Fabrizio Facchini

  • Affiliations:

  • Computer Science Department, University of L'Aquila, L'Aquila, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy;Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo” (ISTI-CNR), Area della Ricerca CNR di Pisa, Pisa, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy

  • Venue:
  • CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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