Software testing at the architectural level

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Software testing at the architectural level

Full text

Pdf (643 KB)

Source

Foundations of Software Engineering archive
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 table of contents

San Francisco, California, United States

Pages: 68 - 71

Year of Publication: 1996

ISBN:0-89791-867-3

Authors

Debra J. Richardson	Information and Computer Science, University of California, Irvine, CA
Alexander L. Wolf	Department of Computer Science, University of Colorado, Boulder, CO

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 18, Downloads (12 Months): 71, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/243327.243605 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gregory D. Abowd , Robert Allen , David Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.319-364, Oct. 1995 [doi>10.1145/226241.226244]
	2	Robert Allen , David Garlan, Formalizing architectural connection, Proceedings of the 16th international conference on Software engineering, p.71-80, May 16-21, 1994, Sorrento, Italy
	3	Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
	4	Juei Chang , Debra J. Richardson , Sriram Sankar, Structural specification-based testing with ADL, Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, p.62-70, January 08-10, 1996, San Diego, California, United States
	5	L. A. Clarke , A. Podgurski , D. J. Richardson , S. J. Zeil, A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, v.15 n.11, p.1318-1332, November 1989 [doi>10.1109/32.41326]
	6	D. Compare, P. Inverardi, and A.L. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Available from the authors, October 1996.
	7	D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, volume 1. World Scientific, New Jersey, 1993.
	8	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]
	9	David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
	10	L. J. Morell, A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, v.16 n.8, p.844-857, August 1990 [doi>10.1109/32.57623]
	11	O. O'Malley, D.J. Richardson, and L.K. Dillon. Efficient Specification-based Oracles for Critical Systems. In Proceedings of the California Software Symposium. Irvine Research Unit in Software, April 1996.
	12	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]
	13	A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]
	14	D.J. Richardson and M.C. Thompson. The RELAY Model of Error Detection and its Application. In Proceedings of the Second Workshop on Software Testing, Analysis, and Verification (TAV??), pages 223-230. ACM SIGSOFT, July 1988.
	15	Debra J. Richardson , Margaret C. Thompson, An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, v.19 n.6, p.533-553, June 1993 [doi>10.1109/32.232020]
	16	Richard N. Taylor , David L. Levine , Cheryl D. Kelly, Structural Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.18 n.3, p.206-215, March 1992 [doi>10.1109/32.126769]

CITED BY 13

	Antonia Bertolino , Paola Inverardi , Henry Muccini, An explorative journey from architectural tests definition down to code tests execution, Proceedings of the 23rd International Conference on Software Engineering, p.211-220, May 12-19, 2001, Toronto, Ontario, Canada
	André van der Hoek, Configurable software architecture in support of configuration management and software deployment, Proceedings of the 21st international conference on Software engineering, p.732-733, May 16-22, 1999, Los Angeles, California, United States
	A. Bertolino , F. Corradini , P. Inverardi , H. Muccini, Deriving test plans from architectural descriptions, Proceedings of the 22nd international conference on Software engineering, p.220-229, June 04-11, 2000, Limerick, Ireland
	Michael D. Rice , Stephen B. Seidman, An approach to architectural analysis and testing, Proceedings of the third international workshop on Software architecture, p.121-123, November 01-05, 1998, Orlando, Florida, United States
	Hong Zhu , Lingzi Jin , Dan Diaper , Ganghong Bai, Software requirements validation via task analysis, Journal of Systems and Software, v.61 n.2, p.145-169, March 2002
	Xudong He , Huiqun Yu , Tianjun Shi , Junhua Ding , Yi Deng, Formally analyzing software architectural specifications using SAM, Journal of Systems and Software, v.71 n.1-2, p.11-29, April 2004
	Vincenzo Ambriola , Alina Kmiecik, Architectural transformations, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Henry Muccini , Antonia Bertolino , Paola Inverardi, Using Software Architecture for Code Testing, IEEE Transactions on Software Engineering, v.30 n.3, p.160-171, March 2004
	Myra B. Cohen , Matthew B. Dwyer , Jiangfan Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.53-63, July 17-20, 2006, Portland, Maine
	Holger Giese , Stefan Henkler, Architecture-driven platform independent deterministic replay for distributed hard real-time systems, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.28-38, July 17-20, 2006, Portland, Maine
	Matthew J. Rutherford , Antonio Carzaniga , Alexander L. Wolf, Simulation-based test adequacy criteria for distributed systems, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Debra Richardson , Paola Inverardi, ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing, ACM SIGSOFT Software Engineering Notes, v.24 n.4, p.33-42, July 1999
	Patrick H. S. Brito , Rogério De Lemos , Cecília M. F. Rubira , Eliane Martins, Architecting fault tolerance with exception handling: verification and validation, Journal of Computer Science and Technology, v.24 n.2, p.212-237, March 2009