On the Relation of Software Architecture Testing Criteria to Generate Test Paths

Testing criteria are conditions which software testing must satisfy. It is of great significance to increase testing efficiency and ability of checking errors, if test paths numbers are not more and the coverage rate is high. Therefore, the highly effective testing strategy is very important. This paper introduces ¿ behavior graph to describe software architecture. We propose seven testing criteria and give its formal description respectively. A CASE tool is built, which implements the ¿-ADL approach to the specification of software architecture. And we analyze the relation of test path numbers between software architecture testing criteria from "fat client" perspective.