Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Inverardi P., Muccini H. Formal Methods in Testing Software Architectures. In: Chapter in Formal Methods for Software Architectures: Third (Bertinoro, Italy, 22-27 September 2003). Proceedings, pp. 122 - 147. Marco Bernardo, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 2804). Springer, 2003.
SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe here an approach for SA-based conformance testing: architectural tests are selected from a Labelled Transition System (LTS) representing the SA behavior and are then refined into concrete tests to be executed on the implemented system. To identify the test sequences, we derive abstract views of the LTS, called the ALTSs, to focus on relevant classes of architectural behaviors and hide away uninteresting interactions. The SA description of a Collaborative Writing system is used as an example of application. We also briefly discuss the relation of our approach with some recent research in exploiting the standard UML notation as an Architectural Description Language, and in conformance testing of reactive systems.
URL: http://www.iei.pi.cnr.it/~antonia/popupBIM03.htm
Subject Methods
Software Architectures
D.2.5 Testing and Debugging
D.2.1 Requirements/Specifications

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