PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Muccini H., Bertolino A., Inverardi P. Using Software Architecture for Code Testing. In: Ieee Transactions on Software Engineering, vol. 30 (3) pp. 160 - 171. IEEE Computer Society, 2004.
 
 
Abstract
(English)
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.
URL: http://www1.isti.cnr.it/~antonia/publications/MIB04.pdf
Subject Software Engineering
Software Architectures
Testing and Debugging
Testing strategies
Tracing
D.2 SOFTWARE ENGINEERING
D.2.5 Testing and Debugging


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional