小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2010年
11期
2166-2169
,共4页
伦立军%孔庆彦%孙鹏飞%宋益波
倫立軍%孔慶彥%孫鵬飛%宋益波
륜립군%공경언%손붕비%송익파
软件体系结构%软件测试%路径覆盖准则%Wright%改进的配置行为图
軟件體繫結構%軟件測試%路徑覆蓋準則%Wright%改進的配置行為圖
연건체계결구%연건측시%로경복개준칙%Wright%개진적배치행위도
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,根据构件连接路径覆盖准则C_CPC和构件连接路径覆盖生成算法FindC_CPaths,生成相应的测试路径.基于此设想实现了工具WTPT,通过实验及其分析表明了算法的正确性和有效性.最后对构件连接路径覆盖准则进行评估,评估结果为应用该覆盖准则提供了理论依据.
軟件體繫結構測試是對構件功能描述和接口描述的測試,是保證基于構件的軟件繫統質量的重要手段.提齣一種新的軟件體繫結構級路徑覆蓋方法,用Wright描述軟件體繫結構併將體繫結構配置行為轉換成改進的配置行為圖錶示構件內部計算及外部遷移信息,根據構件連接路徑覆蓋準則C_CPC和構件連接路徑覆蓋生成算法FindC_CPaths,生成相應的測試路徑.基于此設想實現瞭工具WTPT,通過實驗及其分析錶明瞭算法的正確性和有效性.最後對構件連接路徑覆蓋準則進行評估,評估結果為應用該覆蓋準則提供瞭理論依據.
연건체계결구측시시대구건공능묘술화접구묘술적측시,시보증기우구건적연건계통질량적중요수단.제출일충신적연건체계결구급로경복개방법,용Wright묘술연건체계결구병장체계결구배치행위전환성개진적배치행위도표시구건내부계산급외부천이신식,근거구건련접로경복개준칙C_CPC화구건련접로경복개생성산법FindC_CPaths,생성상응적측시로경.기우차설상실현료공구WTPT,통과실험급기분석표명료산법적정학성화유효성.최후대구건련접로경복개준칙진행평고,평고결과위응용해복개준칙제공료이론의거.