Deriving test plans from architectural descriptions

ABSTRACT

REFERENCES

• 1: Len Bass , Paul Clements , Rick Kazman, Software architecture in practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 2: Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
• 3: Bertolino, A., Corradini, F., Inverardi, P., Muccini, H. Architectural Abstractions to Support Analysis and Testing. IR 50/99, University of L'Aquila, Online at <http://univaq.it/~inverard>.
• 4: A. Bertolino , P. Inverardi , H. Muccini , A. Rosetti, An approach to integration testing based on architectural descriptions, Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), p.77, September 08-12, 1997
• 5: Barry Boehm , Chris Abts, COTS Integration: Plug and Pray?, Computer, v.32 n.1, p.135-138, January 1999 [doi>10.1109/2.738311]
• 6: Rachel Cardell-Oliver , Tim Glover, A Practical and Complete Algorithm for Testing Real-Time Systems, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.251-261, September 14-18, 1998
• 7: Richard H. Carver , Kuo-Chung Tai, Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.24 n.6, p.471-490, June 1998 [doi>10.1109/32.689403]
• 8: Rance Cleaveland , Joachim Parrow , Bernhard Steffen, The concurrency workbench: a semantics-based tool for the verification of concurrent systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.36-72, Jan. 1993 [doi>10.1145/151646.151648]
• 9: Daniele Compare , Paola Inverardi , Alexander L. Wolf, Uncovering architectural mismatch in component behavior, Science of Computer Programming, v.33 n.2, p.101-131, Feb. 1999 [doi>10.1016/S0167-6423(98)00006-9]
• 10: David Garlan , Robert Allen , John Ockerbloom, Architectural Mismatch: Why Reuse Is So Hard, IEEE Software, v.12 n.6, p.17-26, November 1995 [doi>10.1109/52.469757]
• 11: Giannakopoulou, D., Magee, J., Kramer, J. The TRACTA Project, On-line at <http://www-dse.doc.ic.ac.uk/projects/tracta>.
• 12: Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
• 13: Dino Mandrioli , Sandro Morasca , Angelo Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.365-398, Nov. 1995 [doi>10.1145/210223.210226]
• 14: McCabe, T.J. A Complexity Measure. IEEE Trans. on Software Engineering 2, 4 (1976).
• 15: Mercier, F., Le Gall, P., Bertolino, A. Formalizing Integration Test Strategies for Distributed Systems. 1st Int. ICSE Workshop on Testing Distributed Component-based Systems (Los Angeles (CA), USA, 1999).
• 16: Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
• 17: Rational Corporation. Uml Resource Center. UML documentation, version 1.3, On-line at <http://www.rational.com/uml/index.jtmpl>.
• 18: Debra J. Richardson , Alexander L. Wolf, Software testing at the architectural level, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.68-71, October 16-18, 1996, San Francisco, California, United States [doi>10.1145/243327.243605]
• 19: ROSATEA group. Architecture-based Analysis and Testing, On-line at <http://www.ics.uci.edu/~rosatea>.
• 20: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 21: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software maintenance

General Terms:
Design, Management, Performance, Reliability, Theory, Verification

Keywords:
functional test plans, integration testing, labelled transition systems, software achitectures