Relationship between Testing Criteria for Architecture Configuration Testing Based on Wright Specification

Coverage criteria of verification techniques play an important role in software development and testing. The goal is to reduce the size of test suites to economize on time, and to ensure whether all conditions are covered. This paper presents formal testing criteria for architecture-level testing that are based on formal specifications of the software architecture. Firstly, this method describes software architecture with Wright specification, secondly, transform the architecture configuration behavior to revised configuration behavior graph (RCBG) to indicate the computation of the single component and the transfer, thirdly, based on the component connected path coverage criteria and the component connected path coverage generation algorithm FindC-CPaths, generate tested path. This approach is implemented in the WTPT tool. Experimental and analysis demonstrated the validity and efficiency of the algorithm FindC-CPaths. Finally, the criteria is assessed, the assessing result provide a theoretical basis for applying the criteria.