An Approach to Software Architecture Testing

Software architecture has emerged as an important sub-discipline of software engineering. This paper proposes a novel software architecture testing technology using pi calculus. pi calculus is of rigorous mathematical foundation and well-defined semantics. Petri net provides a graphical description technique that is easy to understand and carry on analysis. We make pi calculus combined with Petri net and propose mapping relationship based on them. Then we will introduce pi Behavior Graph using the mapping relationship and pi-ADL that takes its roots in previous works concerning the use of pi calculus as semantic foundation for architecture description languages. We propose seven testing coverage criteria from black-box and white-box perspectives and give its formal description in piBG respectively. At last, we build a prototype tool that implements the pi-ADL approach to the specification of software architecture and generates test paths. We use TRMCS as a typical architecture model to illustrate our testing technology.