|
[ITM04]
"Model-Checking plus Testing: from Software Architecture Analysis to
Code Testing".
Authors:
A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini
In: 1st International Workshop on Integration of Testing
Methodologies, ITM 2004. October 1 -- 2 ,2004, Toledo, Spain. Lecture
Notes in Computer Science, LNCS, vol. 3236, pp. 351 - 365 (2004).
|
Abstract:
Software Model-Checking and Testing are some of the most
used techniques to analyze software systems and identify
hidden faults. While software model-checking allows for an
exhaustive and automatic analysis of the system expressed
through a model, software testing is based on a clever
selection of \relevant" test cases, which may be manually
or automatically run over the system.
In this paper we analyze how those two analysis
techniques may be integrated in a specific context, where
a Software Architecture (SA) specification of the system
is available, model-checking techniques are used to
validate the SA model conformance with respect to selected
properties, while testing techniques are used to validate
the implementation conformance to the SA model.
The results of this research are applied to an SDH
Telecommunication system architecture designed by Siemens
CNX.
|
