Main topics:
If we consider that the course is organized in five classes of three hours, we can imagine a rough distribution of the contents as follows:
 

 Lecture 1: Introduction to Software Architecture  (.PDF)
o       Course Introduction and Overview
o       What is an SA
o       Concepts of Components, Connectors, interfaces
o       An Example

Required Readings:
->  D. Perry and A.L. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes, vol. 17, n. 4, pp. 40-52, 1992

-> H. Muccini. Software Architecture for Testing,
Coordination and Views Model Checking. Ph.D. Thesis, year 2002, chapter 2

Lecture 2: Software Architecture-based Testing  (.PDF)
o       Dependability and V&V
o       Testing basics
o       Specification-based testing basics
o       SA-based Testing
o       An Example

Required Readings:
-> Antonia Bertolino, Software Testing Research and Practice, ASM 2003,
Invited Presentation, LNCS 2589, 1-21

-> H. Muccini, A. Bertolino, and P. Inverardi. Using Software Architecture for Code Testing. In IEEE Transactions on Software Engineering. Vol. 30, Issue N. 3, March 2004, pp. 160-171.

Lecture 3: Software Architecture-based Regression Testing  (.PDF)
o       Why Regression Testing
o       Regression Testing Techniques
o       Regression Testing at the architectural level
o       An Example

Required Readings:
-> Henry Muccini, Marcio Dias and Debra J. Richardson. "Reasoning about Software Architecture-based Regression Testing through a Case Study". In: IEEE Proc. COMPSAC'05 workshop on Testing and Quality Assurance for Component-based Testing, Edinburgh, Scotland, July 25-28.

-> Henry Muccini, Marcio Dias and Debra J. Richardson, "Towards Software Architecture-based Regression Testing". In: ICSE 2005 Workshop on Architecting Dependable Systems (WADS), St. Louis, Missouri (USA), May 2005.

Lecture 4: Software Architecture-based Model Checking (.PDF)
o       Model-Checking basics
o       Model-checking at the SA level
o       The Charmy approach and tool
o       How To
o       An Example 

New Material on SPIN (here) 28th July
New Material on Charmy (here) 28th July

Required Readings:
-> P. Inverardi, Henry Muccini and Patrizio Pelliccione. CHARMY: An Extensible Tool for Architectural Analysis. In Proc. European Software Engineering Conference/the Foundations of Software Engineering (ESEC/FSE), 2005.

-> P. Pelliccione, P. Inverardi, and H. Muccini. Charmy: A framework for Designing and Validating Architectural Specifications. Submitted for publication. Technical report,
University of L’Aquila, April 2005.

Lecture 5: ModTest: SA-based Model Checking driven Testing (.PDF)
o       Model-checking vs. testing
o       Combining pros
o       Using Model checking for generating test sequences
o       The TeStor approach and tool
o       Challenges
o       Future Work

Required Readings:
->A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini, "Model-Checking plus Testing: from Software Architecture Analysis to Code Testing". In: 1st International Workshop on Integration of Testing Methodologies,  ITM 2004. Lecture Notes in Computer Science, LNCS, vol. 3236, pp. 351 - 365 (2004).