PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Muccini H., Bertolino A., Inverardi P. Using Software Architecture for Code Testing. Published in: IEEE Transactions on Software Engineering, Vol 30 N.o 3, March 2004, p. 160-171 Link The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.
 
 
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.
Subject Software Engineering
Testing and Debugging
Software Architectures
D.2 SOFTWARE ENGINEERING
D.2.5 Testing and Debugging



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