|
>Publications>DSN04 |
Henry Muccini
Ph.D. in Computer Science |
|
[DSN04]
"Towards Anti-Model-based Testing".
Authors:
A. Bertolino, A. Polini, P. Inverardi and H. Muccini.
In: Fast Abstract in The International Conference on Dependable
Systems and Networks, DSN 2004. Florence, 2004
|
Abstract:
Model-based testing consists in deriving a suite of
test cases from a model representing software behavior.
Such a model can be generated from a formal specification
or designed by software engineers through diagrammatic
tools.
In principle, the derivation of the test cases can be done
automatically, and indeed several approaches have been
recently proposed that do this starting from models in
different languages. By executing the model-based test
cases, the conformance of the implemented system to its
specification can be validated.
Model-based testing is certainly useful and effective;
however, there can be several reasons why such an approach
cannot be applied or is too expensive for
deployment in a specific context.
...
This is the rationale for an ``anti-model-based testing
approach" as the one we outline in this paper. While
model-based testing starts from an a-priori established
model and tries to
execute some sequences derived from this model, in
``anti-model based" testing we take the opposite
direction.
...
|
 | | |
|