基于动态Wright体系结构描述语言测试方法.pdfVIP

信 息 科 学 基于动态Wright体系结构描述语言测试方法 刘宜鑫 伦立军 (哈尔滨师范大学计算机科学系,黑龙江 哈尔滨 ) 150080 摘 要:软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构 层配置信息的测试方法,该方法用 描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统 描述软件系 DynamicWright LTS 统的状态变化及迁移信息,指导测试路径生成。 关键词:软件体系结构;软件测试;路径生成; ;标号迁移系统 DynamicWright 概述 )是一个五元组,即(,,, ,), 所要遵循的反应规则,表示为: 1 sitionSystem SLSSFΤS 0 以软件体系结构为模型的软件工程逐渐成为 是状态的集合,是特异标号的集合(即 的 : ( )( ) L actionsTClient.oSendrequest1i . 1 软件开发的新趋势,因此有必要尽早对软件系统 集合), 是初始状态, 是终止状态的集 ( ) ( ) S∈S S□S ReceiveAck1i = o 0 F Server1.o 体系结构进行测试。软件体系结构测试是人们对 合,而 是标有元素 的转换关系。 ( ) ( ) ( Τ={→□S×S|l∈L} L Sendrequest1i ReceiveAck1Client.oRe- 软件测试认识加深的一种反映,这种认识对软件 )( ) ceiveAck1iSendrequest1Server1 测试具有指导意义[1] 。软件体系结构配置说明体系 : ( )( ) TClient.oSendrequest2i . 2 结构元素间拓扑结构,是构件与连接件的连接图 ( ) ( )