|
>Publications>ICSE_W05 |
Henry Muccini
Ph.D. in Computer Science |
|
{ICSE_W05}
"An Approach for Detecting Implied Scenarios"
Henry Muccini
Proc. ICSE 2002 Workshop on "Scenarios and
State Machines: Models, Algorithms, and Tools", May 2002.
|
Abstract:
Implied scenarios are
unexpected behaviors that may be derived by behavioral
models when they are synthesized from scenarios. These
scenarios are "implied" since they are not described in
the scenario specification but each synthesized model of
them will present, allowing system executions that are
unacceptable (or at least unexpected) with respect to the
original specification. The work we are going to propose
builds over an existing work and proposes an algorithm to
identify implied scenarios avoiding the construction of
the Labelled Transition System (LTS) model. The main
advantage of this approach is that we can discover implied
scenarios without building the synthesized model, and,
much more important, we do not need to put in parallel the
synthesized components LTS, saving time and preventing the
possibility of state explosion problems.
We will also show the ability of this algorithm in
discovering implied scenarios going through an example.
|
 |
| |
|
|