Challenges in Exploiting Architectural Models for Software Testing

Software architectural modeling offers a natural framework for designing and analyzing modern large-scale software systems and for composing systems from reusable off-theshelf components. However, the nature of componentbased software presents particularly unique challenges for testing component-based systems. To date there have been relatively few attempts to establish a sound theoretical basis for testing component-based software. This paper discusses challenges in exploiting architectural models for software testing. The discussion is framed in terms of the author’s recent work on defining a formal model of test adequacy for component-based software, and how this model can be enhanced to exploit formal architectural models.

[1]  Alexander L. Wolf,et al.  Software testing at the architectural level , 1996, ISAW '96.

[2]  David S. Rosenblum.  Adequate Testing of Component-Based Software , 1997 .

[3]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[4]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[5]  Peyman Oreizy,et al.  Software Architecture and Component Technologies: Bridging the Gap , 1997 .

[6]  Elaine J. Weyuker,et al.  A Formal Analysis of the Fault-Detecting Ability of Testing Methods , 1993, IEEE Trans. Software Eng..

[7]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[8]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[9]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[10]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[11]  Alexander L. Wolf,et al.  Chaining: A Software Architecture Dependence Analysis Technique , 1997 .

[12]  Gregg Rothermel,et al.  Analyzing Regression Test Selection Techniques , 1996, IEEE Trans. Software Eng..

[13]  Dick Hamlet,et al.  Software Component Dependability - a Subdomain-based Theory , 1996 .

[14]  Nenad Medvidovic,et al.  Domains of Concern in Software Architectures and Architecture Description Languages , 1997, DSL.

[15]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..