Investigating Subsumption Relationship on Path Coverage Criteria for Software Architecture Testing

Path coverage technology in software architecture is a structural testing method that involves using the architecture elements to attempt to find every possible executable path. In this paper we present an approach together with an experimental tool for qualifying tests. Firstly, this method describes software architecture with linear temporal logic specification, secondly, transform the architecture specification to architecture interface connectivity graph (ICG) to indicate the computation of the single component and the transfer, thirdly, based on ICG path coverage criteria and path coverage generation algorithm, generate tested path. This approach is implemented in the LTL tool. Finally, the criteria is assessed, the assessing result provide a theoretical basis for applying the criteria.