1. © Copyright Jeff Offutt, 2000 WESAS, 5/00 1 Analyzing Software Architecture Descriptions to Generate System-level Tests Aynur Abdurazik, Zhenyi Jin, Jeff Offutt, Liz White Software Engineering Research Lab George Mason University Fairfax, Virginia USA www.ise.gmu.edu/SERL/ {ofut,aynur}@ise.gmu.edu white@cs.gmu.edu jjin@sed.stel.com Support from NSF is greatly appreciated. ©Copyright Jeff Offutt, 2000

2. WESAS, 5/00 2 General Testing Process Architecture Design Spec Code Analysis Engine Test Criterion Model of Software Test Tool Test Requirements CFG PDG FSM Used to:  generate tests  evaluate tests

3. © Copyright Jeff Offutt, 2000 WESAS, 5/00 3 Test Criteria n Define explicit test requirements (e.g., covering branches) n Assess the quality of test cases n Stopping rules for testing n Repeatability in testing Formal test criteria provide rules for deciding whether software has been adequately tested.

4. © Copyright Jeff Offutt, 2000 WESAS, 5/00 4 Aspects of Architectures to Test n Correct implementation of individual connectors n Correct use of interfaces by components n Adequate solution of the problem by the configuration n Correct interactions among the components and connections n Correct application of the architectural style