Analyzing Relation between Software Architecture Testing Criteria on Test Sequences

Software architecture provides a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe an approach for SA-based test sequences. This paper discusses formal description of CHAM, and presents rule dependence graph, which shows the rule dependence relations of SA. Then we define two criteria and introduce algorithms to generate test sequences for rule dependence graph. Finally, a CASE tool is built, which uses collaborative writing system as an architecture model to illustrate the derivation of rule dependence graph and the generation of test sequences. Demonstration results present the relationship of test sequences on two criteria with the increasing numbers of components.