Software Architecture Test Technology Based on π Calculus
Hui Xu, Lijun Lun · Jisuanji gongcheng · 2009
【Abstract】Aiming at the lack of most existing architecture description language to describe system behaviors may cause generation test paths difficultly, this paper proposes a software architecture test technology based on π calculus. The technology makes π calculus combining with Petri net, makes the software architecture model and proposes test paths generation algorithm. Experiment shows that the proposed algorithm can generate test paths according to test criteria to realize architecture model dynamic and test technology effective. 【Key words】software architecture test; π calculus; test criteria; test paths