Analysis of the Subsume Relation between Software Architecture Testing Criteria

Formalized testing is to improve quality of software product based on software architecture. It is an important research in the fields of software engineering. Testing criteria are conditions which software testing must satisfy. Therefore, the highly effective testing strategy is very important. This paper introduces pi Behavior Graph that describes software architecture. We propose seven testing coverage criteria from black-box and white-box perspectives and give its formal description in piBG respectively. Then, we discuss the subsume relation between testing criteria and build a CASE tool. We use TRMCS as a typical architecture model to illustrate our testing technology and analyze how the test paths are changing with the increasing numbers of clients from ldquothe fat customerrdquo perspective.