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

摘要： 针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题，提出一种基于π演算的软件体系结构测试方法，该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明，该算法能够根据测试覆盖准则生成相应的测试路径，实现体系结构模型的动态性和测试技术的有效性。

关键词: 软件体系结构测试, π演算, 测试准则, 测试路径

CLC Number: 

• TP311