|
[CBSE05]
"TeStor: Deriving Test Sequences from
Model-based Specifications".
Authors:
Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, and
Fabrizio
Facchini
In: Eighth International SIGSOFT Symposium on Component-based
Software Engineering (CBSE 2005),
St. Louis, Missouri (USA), 15-21 May, 2005. Lecture Notes in
Computer Science, LNCS 3489, pp. 267-282.
|
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 speci¯cations 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.
|
