|
>Publications>TSE04
|
Henry Muccini
Ph.D. in Computer Science |
|
{TSE04}
"Using Software Architecture for Code Testing".
H. Muccini,
A. Bertolino and P. Inverardi.
Accepted for Publication in IEEE Transactions on Software Engineerig
|
Abstract:
Our research deals with the use of Software
Architecture (SA) as a reference model for testing the
conformance of an implemented system with respect to its
architectural specification. We exploit the specification
of SA dynamics to identify useful schemes of interactions
between system components and to select test classes
corresponding to relevant architectural behaviors. The SA
dynamics is modeled by Labeled Transition Systems (LTSs).
The approach consists of deriving suitable LTS
abstractions called ALTSs. ALTSs offer specific views of
SA dynamics by concentrating on relevant features and
abstracting away from uninteresting ones. Intuitively,
deriving an adequate set of test classes entails deriving
a set of paths that appropriately cover the ALTS. Next, a
relation between these abstract SA tests and more
concrete, executable tests needs to be established, so
that the architectural tests derived can be refined into
code-level tests. In the paper, we use the TRMCS case
study to illustrate our hands-on experience.
We discuss the insights gained and highlight some issues,
problems, and solutions of general interest in
architecture-based testing. |
 |
| |
|