TESTOR: Deriving test sequences from model-based specifications

19Citations
Citations of this article
19Readers
Mendeley users who have this article in their library.
Get full text

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. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Pelliccione, P., Muccini, H., Bucchiarone, A., & Facchini, F. (2005). TESTOR: Deriving test sequences from model-based specifications. In Lecture Notes in Computer Science (Vol. 3489, pp. 267–282). Springer Verlag. https://doi.org/10.1007/11424529_18

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free