Relationship on Path Coverage Criteria for Software Architecture Testing

摘要

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 (ICG) is used to describe the connection relationship between components and connectors at first, and then generate testing coverage paths of the ICG according to three testing coverage criteria and algorithms. Finally, a CASE tool is built, which uses TRMCS system as an architecture model to illustrate the derivation of interface connectivity graph and the generation of test paths. Demonstration results present the relationship of test paths on three criteria with the increasing numbers of components.