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