An approach to integration testing based on architectural descriptions

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 1997, Pages 77-84

  Bertolino, A ^a   Inverardi, P ^b   Muccini, H ^b   Rosetti, A ^b  

^a CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA FLOW GRAPHS; DIGITAL STORAGE; GRAPHIC METHODS; INTEGRATION; SOFTWARE ARCHITECTURE;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL PROPERTIES; COMPREHENSIVE MODELING; CONTROL AND DATA FLOW GRAPHS; COVERAGE STRATEGIES; FORMAL DESCRIPTION; REDUCED GRAPHS; TEST STRATEGIES; TESTING PROCESS; UNIT TESTING;

INTEGRATION TESTING;

EID: 85029396217     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.1997.622299     Document Type: Conference Paper

References (19)

1. B. Beizer. Software Testing Techniques, 2nd ed. Van Nostrand Reinhold, New York, 1990.
2. B. Beizer. Black-Box Testing Techniques for Functional Testing of Sojhvare and Systems. John Wiley & Sons, Inc., New York, 1979.
3. A. Bertolino, P. Inverardi. Architecture-based Software Testing. Second Intemational Software Architecture Workshop ISAW-2. In Joint Proceedingsof the ACMSIFSOFT '96 Workshops. ACM, October 1996.
4. A. Bertolino, P. Inverardi, H. Muccini, A. Rosetti. A Formal Approach to Architecture-basedhtegration Testing. Technical Report University of L' Aquila, in preparation.
5. T. S. Chow. Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on SofnYare Engineering, 4 (3), May 1978.
6. D. Compare, P. Inverardi and A. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Internal Report, University of L'Aquila, June 1996.
7. D. Garlan Editor. ICSEl7-Workshop on Software Architectures. In Proceedings of the 17th International Conference on SofhYare Engineering. IEEE Computer Society, April 1995.
8. D. Garlan and D. E. Perry. Introduction to the Special Issue on Software Architecture. IEEE Transactions on Software Engineering, 21 (4), April 1995.
9. P. Inverardi and A. L. Wolf. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21 (4): 100-114, April 1995.
10. P. Inverardi and D. Yankelevich. Relating CHAM descriptions of Software Architectures. IEEE Proc. IWSSD-8, March 1996, Padebom.
11. M. Marrc and A. Bertolino. Reducing and estimating the cost of test coverage criteria. Proc. ACMIIEEE Int. Conj Sojhvare Eng. ICSE-18, pp. 486494, Berlin, Germany, March 1996.
12. G. J. Meyers. The Art of Software Testing. John Wiley & Sons, Inc., New York, 1979.
13. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
14. H. Muccini. Test di Integrazione basato su specifiche architetturali Tesi di Laurea, Universita' di L'Aquila, Marzo 1997.
15. D. E. Perry and A. L. Wolf. Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes, 17 (4): 40-52, October 1992.
16. A. Rosetti. Analisi e Testing di Architetture Software descritte tramite CHAM Tesi di Laurea, Universita' di L' Aquila, Marzo 1997.
17. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice All, 1996
18. W. Tracz. Test and Analysis of Software Architectures. Proc. of the ACM International Symposium on Software Testing and Analysis (ISSTA'96), January 1996, S. Diego.
19. L. Vidal, A. Finkelstein, G. Spanoudakis, A. Wolf, Editors. Second Intemational Software Architecture Workshop ISAW-2. In Joint Proceedings of the ACM SIFSOFT '96 Workshops. ACM, October 1996.