Abstract
We introduce an original approach, which combines monitoring and model checking techniques into a comprehensive methodology for the architectural verification of Component-based systems. The approach works by first capturing the traces of execution via the instrumented middleware; then, the observed traces are reverse engineered into Message Sequence Charts, which are then checked for compliance to the Component-based Software Architecture, using a model checker. The methodology has been conceived for being applied indifferently for validating the system in house before deployment and for continuous validation in the field following evolution. A case study for the first case is here illustrated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
An Approach for Tracing and Understanding Asynchronous Systems. ISR Tech. Report UCI-ISR-02-7 (2002)
CHARMY Project. Charmy Web Site (2004), http://www.di.univaq.it/charmy
Fujaba Project. U.Paderborn, Sw Eng. Group (2005), http://wwwcs.uni-paderborn.de/cs/fujaba/publications/index.html
Rapid System Development via Product Line Architecture Implementation, Heraklion Crete, Greece, LNCS (September 2005)
Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology 6(3), 213–249 (1997)
Bernardo, M., Donatiello, L., Ciancarini, P.: Performance Evaluation of Complex Systems: Techniques and Tools. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol. 2459, pp. 236–260. Springer, Heidelberg (2002)
Bucchiarone, A., et al.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: Núñez, M., et al. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 351–365. Springer, Heidelberg (2004)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 2nd edn. MIT Press, Cambridge (2000)
Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems. Artech House (July 2002)
Elbaum, S., Diep, M.: Profiling Deployed Software: Assessing Strategies and Testing Opportunities. IEEE Trans. on Software Engineering 31(8), 1–16 (2005)
Garlan, D.: Software Architecture: a Roadmap. In: ACM ICSE 2000, The Future of Software Engineering, pp. 91–101. ACM Press, New York (2000)
Garlan, D.: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 1–24. Springer, Heidelberg (2003)
Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (Sept. 2003)
Inverardi, P., Muccini, H., Pelliccione, P.: CHARMY: An Extensible Tool for Architectural Analysis. In: ACM Proc. European Software Engineering Conference/the Foundations of Software Engineering (ESEC/FSE), September 2005, ACM Press, New York (2005)
Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA’06), Portland, Maine, USA, July 17-20, 2006, pp. 181–190 (2006)
Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: I Working IFIP Conf. Sw Architecture, WICSA1 (1999)
Mariani, L., Pezze, M.: Behavior Capture and Test: Automated Analysis of Component Integration. In: IEEE Computer Society (ed.) 10th IEEE International Conference on Engineering of Complex Computer Systems, Shangai, China, 16-20 June, 2005, IEEE Computer Society Press, Los Alamitos (2005)
Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. IEEE Trans. on Software Engineering 30(3), 160–171 (2003)
Pelliccione, P.: CHARMY: A framework for Software Architecture Specification and Analysis. PhD thesis, Computer Science Dept., U. L’Aquila (May 2005)
Szyperski, C.: Component Software. Beyond Object Oriented Programming. Addison-Wesley, Reading (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Bertolino, A., Muccini, H., Polini, A. (2007). Architectural Verification of Black-Box Component-Based Systems. In: Guelfi, N., Buchs, D. (eds) Rapid Integration of Software Engineering Techniques. RISE 2006. Lecture Notes in Computer Science, vol 4401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71876-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-71876-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71875-8
Online ISBN: 978-3-540-71876-5
eBook Packages: Computer ScienceComputer Science (R0)