基于π演算的软件体系结构测试技术  

Software Architecture Test Technology Based on π Calculus

作　　者：许慧[1] 伦立军[1] 

机构地区：[1]哈尔滨师范大学计算机科学系,哈尔滨150080

出　　处：《计算机工程》2009年第13期55-57,共3页Computer Engineering

基　　金：黑龙江省教育厅科技基金资助项目(10541098)

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

关 键 词：软件体系结构测试 Π演算 测试准则 测试路径 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]