Using software architecture for code testing
Muccini H., Bertolino A., Inverardi P.
Software Testing and debugging Tracing Software architectures Software engineering Testing strategies
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 o®er 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.
Source: IEEE transactions on software engineering 30 (2004): 160–171. doi:10.1109/TSE.2004.1271170
Publisher: Institute of Electrical and Electronics Engineers], [New York,, Stati Uniti d'America
Metrics
Back to previous page
@article{oai:it.cnr:prodotti:43789,
title = {Using software architecture for code testing},
author = {Muccini H. and Bertolino A. and Inverardi P.},
publisher = {Institute of Electrical and Electronics Engineers], [New York,, Stati Uniti d'America},
doi = {10.1109/tse.2004.1271170},
journal = {IEEE transactions on software engineering},
volume = {30},
pages = {160–171},
year = {2004}
}
0000-0001-8749-1356