University of Verona (ITALY)
CADP (Construction and Analysis of Distributed Processes)
about 100 lines of Basic LOTOS (specification)
about 20 lines (test purpose)
The design, analysis, and construction of a complex system can be made
conceptually more tractable by specifying the software architecture
formally. The Unified Modeling Language (UML) allows to design
object-oriented systems at different perspectives (abstraction
levels), among which the architectural perspective. This
perspective fixes certains design decisions such as naming of
components (packages, classes) and connectors (associations,
operations, inheritance relations). Several types of UML diagrams prove
useful to express architectural requirements: package diagrams
partition an architecture into separate layers, class diagrams
represent static structure requirements, and interaction or
state diagrams represent dynamic properties of the components
and connectors present in the architecture.
Architectural unit testing encompasses two activities: testing of architectural unit models against their functional requirements, and design of testers for architectural units. The methodology adopted for architectural unit testing consists of the following ingredients:
A formal testing methodology was proposed and experimented on a
non-trivial example of software architecture, allowing to assess
testability of functional requirements as well as to generate
architectural models of unit testers at early design stages.
The methodology is based upon object-oriented modeling with a
clean IOLTS semantics obtained by translating UML state diagrams
into LOTOS, which allows the subsequent use of the CADP tools for
compilation and automated test generation.
Giuseppe Scollo and Silvia Zecchini.
"Architectural Unit Testing in a Robot Teleoperation Case Study".
Research Report RR 12/2003, University of Verona, October 2003.
Available on-line at: http://profs.sci.univr.it/~scollo/papers/dirr0312.pdf
or from the CADP Web site in PDF or PostScript
[Scollo-Zecchini-05] Giuseppe Scollo and Silvia Zecchini. "Architectural Unit Testing". In Proceedings of the International Workshop on Model Based Testing MBT'2004 (Barcelona, Spain), Electronic Notes in Theoretical Computer Science vol. 111, 2005.
Available on-line from the CADP Web site in PDF or PostScript
Dr. Giuseppe Scollo
Department of Computer Science
University of Verona
Ca'Vignal 2 - Strada le Grazie 15
Tel: 045 802 7940
Fax: 045 802 7068
|Further remarks:||This case study, amongst others, is described on the CADP Web site: http://cadp.inria.fr/case-studies|