Automated Selection of Test Paths from Architectural Descriptions

Software architecture testing is a technology on the connections and functions of system components. This paper presents a technology of software architecture testing based on LTL. Software architecture interface connectivity graph is used to describe the connection relationship between components and connector at first, and then generate testing coverage paths of the ICG according to three testing coverage criteria and algorithms. Finally, we build a prototype tool that implements the LTL approach to the specification of software architecture and generates test paths. We use TRMCS as a typical architecture model to illustrate our testing technology.