计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
10期
60-62,66
,共4页
化学抽象机%软件体系结构%有向无环图%测试覆盖准则%基本路径覆盖
化學抽象機%軟件體繫結構%有嚮無環圖%測試覆蓋準則%基本路徑覆蓋
화학추상궤%연건체계결구%유향무배도%측시복개준칙%기본로경복개
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试.基于此,提出一种软件体系结构级的测试路径覆盖方法.利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征.根据基本路径覆盖准则及测试序列生成算法,生成测试路径.以C/S体系结构为例验证该方法的正确性和有效性.
軟件體繫結構描述繫統的高層結構和行為特徵,其動態描述常被用來指導軟件的分析和測試.基于此,提齣一種軟件體繫結構級的測試路徑覆蓋方法.利用化學抽象機描述軟件體繫結構併導齣與其對應的DAG圖,錶達軟件體繫結構的動態特徵.根據基本路徑覆蓋準則及測試序列生成算法,生成測試路徑.以C/S體繫結構為例驗證該方法的正確性和有效性.
연건체계결구묘술계통적고층결구화행위특정,기동태묘술상피용래지도연건적분석화측시.기우차,제출일충연건체계결구급적측시로경복개방법.이용화학추상궤묘술연건체계결구병도출여기대응적DAG도,표체연건체계결구적동태특정.근거기본로경복개준칙급측시서렬생성산법,생성측시로경.이C/S체계결구위례험증해방법적정학성화유효성.
