黑龙江科技信息
黑龍江科技信息
흑룡강과기신식
HEILONGJIANG SCIENCE AND TECHNOLOGY INFORMATION
2007年
23期
80,41
,共2页
软件体系结构%软件测试%路径生成%Dynamic Wriht%标号迁移系统
軟件體繫結構%軟件測試%路徑生成%Dynamic Wriht%標號遷移繫統
연건체계결구%연건측시%로경생성%Dynamic Wriht%표호천이계통
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统LTS描述软件系统的状态变化及迁移信息,指导测试路径生成.
軟件體繫結構測試是對構件功能描述和接口描述的測試,是保證基于構件的軟件繫統質量的重要手段.提齣瞭一種針對軟件體繫結構層配置信息的測試方法,該方法用Dynamic Wright描述軟件繫統的體繫結構及對繫統配置信息進行新從配置,利用標號遷移繫統LTS描述軟件繫統的狀態變化及遷移信息,指導測試路徑生成.
연건체계결구측시시대구건공능묘술화접구묘술적측시,시보증기우구건적연건계통질량적중요수단.제출료일충침대연건체계결구층배치신식적측시방법,해방법용Dynamic Wright묘술연건계통적체계결구급대계통배치신식진행신종배치,이용표호천이계통LTS묘술연건계통적상태변화급천이신식,지도측시로경생성.