计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
13期
55-57
,共3页
软件体系结构测试%π演算%测试准则%测试路径
軟件體繫結構測試%π縯算%測試準則%測試路徑
연건체계결구측시%π연산%측시준칙%측시로경
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法.实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性.
針對目前體繫結構描述語言對描述軟件繫統行為方麵的不足而難以生成實時測試路徑的問題,提齣一種基于π縯算的軟件體繫結構測試方法,該方法包括π縯算與Petri網結閤、構造體繫結構模型及測試路徑生成算法.實驗證明,該算法能夠根據測試覆蓋準則生成相應的測試路徑,實現體繫結構模型的動態性和測試技術的有效性.
침대목전체계결구묘술어언대묘술연건계통행위방면적불족이난이생성실시측시로경적문제,제출일충기우π연산적연건체계결구측시방법,해방법포괄π연산여Petri망결합、구조체계결구모형급측시로경생성산법.실험증명,해산법능구근거측시복개준칙생성상응적측시로경,실현체계결구모형적동태성화측시기술적유효성.
