Reasoning about software architecture-based regression testing through a case study

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2005, Pages 189-195

  Muccini, Henry ^a   Dias, Marcio ^b   Richardson, Debra J ^c  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b DURHAM UNIVERSITY   (United Kingdom)

^c 5226 Donald Bren Hall   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; MATHEMATICAL MODELS; QUALITY ASSURANCE; REGRESSION ANALYSIS; SOFTWARE TESTING;

BEHAVIORAL PROPERTIES; COMPONENT BASED SYSTEMS; REGRESSION TESTING;

SOFTWARE ARCHITECTURE;

EID: 34248551705     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2005.127     Document Type: Conference Paper

References (20)

1. The Argus-I project. University of California, Irvine. Information on-line at 〈http://www.ics.uci.edu/~mdias/research/ArgusI〉.
2. T. Apiwattanapong, A. Orso, and M. J. Harrold. A Differencing Algorithm for Object-Oriented Programs. In IEEE Proc. 19th Automated Software Engineering Conference, ASE 2004.
3. A. Bertolino and P. Inverardi. Architecture-based Software Testing. In Proc. ISAW96, October 1996.
4. A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini. Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In Proc. Int. Workshop on Integration of Testing Methodologies, ITM '04. October 2004.
5. R. H. Carver and K.-C. Tai. Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs. IEEE Trans. on Software Engineering, Vol. 24, N. 6, pp. 471-490, June 1998.
6. The C2 Architectural Style On-line at: 〈http://www.ics.uci.edu/ pub/arch/c2.html〉.
7. I. Crnkovic and M. Larsson, editors. Building Reliable Component-based Software Systems. Artech House, July 2002.
8. Formal Methods for Software Architectures. Tutorial book on Software Architectures and Formal Methods. In SFM-03.-SA Lectures, Eds. M. Bernardo and P. Imerardi, LNCS 2804, 2003.
9. D. Garlan. Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. In Formal. Methods for Software Architectures, pages 1-24. Lecture Note in Computer Science, 2804, 2003.
10. T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter and G. Rothermel. An Empirical Study of Regression Test Selection Techniques. In Proc. of the 20th Int. Conf. on Software Engineering (ICSE'98), pp. 188-197, Japan, April 1998.
11. M. J. Harrold. Architecture-Based Regression Testing of Evolving Systems. In Proc. Int. Workshop on the ROle of Software Architecture in TEsting and Analysis (ROSATEA), CNR-NSF, pp. 73-77, July 1998.
12. M. J. Harrold. Testing: A Roadmap. In A. Finkelstein (Ed.), ACM ICSE 2000, The Future of Software Engineering, pp. 61-72, 2000.
13. Z. Jin and J. Offutt. Deriving Tests From Software Architectures. In the Twelfth IEEE Int. Symp. On Software Reliability Engineering, (ISSRE'01). Hong Kong, November 2001.
14. J. Magee, and J. Kramer. Concurrency: State models & java programs. Wiley publisher, April 1999.
15. 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.
16. H. Muccini, M. Dias, D. Richardson. Systematic Testing of Software Architectures in the C2 style. In Proc. Fundamental Approaches to Software Engineering (EASE '04), ETAPS 2004, March 2004.
17. H. Muccini, M. Dias, D. Richardson. Towards Software Architecture-based Regression Testing. Internal Report, University of L'Aquila. Year 2005. Available at www.HenryMuccini.com/research/2005/SARTE_TR.htm.
18. P. Oreizy, N. Medvidovic, and R. Taylor. Architecture-Based Runtime Software Evolution. In Proc. Int. Conf. on Software Engineering, ICSE 98, Kyoto, Japan, April 1998.
19. D. J. Richardson and A. L. Wolf. Software Testing at the Architectural Level. ISAW-2 in Joint Proc. of the ACM SIG-SOFT '96 Workshops, pp. 68-71, 1996.
20. A. H. Watson and T. J. McCabe. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235, August 1996.