Software architecture testing in the C2 style

Software architecture has been considered as one of the most important methods to control software complexity, improve system quality, support software development and reuse and so on. Aim to the current problems that C2 style testing on software architecture are lack of the formal definition of testing coverage criteria and effective testing method. This paper presents a software architecture testing method based on C2 style. Firstly, the software architecture is represented using C2 style, then we use architecture component interaction graph (CIG) to describe interface connection relation, then we define three testing criteria and introduce algorithms to generate testing coverage set according to edge types of CIG. Finally, we use the Klax system as a typical architecture model to evaluate the efficiency of the testing technique.