Path numbers analysis of relationships on software architecture testing criteria

Software architecture testing criteria help in defining test objectives or goals that are to be achieved while performing software architecture testing, and also be used to determine when testing should stop. In this paper a testing technique of software architecture models is described and the three testing criteria based on architecture interface connectivity graph (ICG) are proposed, and then generate testing coverage path of the ICG according to testing criteria and algorithms, we verify the testing technology in the TRMCS example and realize software architecture testing. Finally, the strict proof is given that the numbers of path generation between the three testing criteria, it provide a theoretical basis for applying the criteria.