基于Wright的SA级测试路径生成方法  

Method of testing path generation at SA level based on Wright

作　　者：徐士华[1] 赵磊[2] 吕莉媛[3] 

机构地区：[1]黑龙江司法警官职业学院,黑龙江哈尔滨150060 [2]哈尔滨师范大学现代实验中心,黑龙江哈尔滨150025 [3]哈尔滨师范大学图书馆,黑龙江哈尔滨150025

出　　处：《微型机与应用》2011年第8期14-17,共4页Microcomputer & Its Applications

基　　金：教育部项目(10YJC870025)

摘　　要：软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则。根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想。以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的。Software architecture is intended to describe essential high level structure and behavioral characteristics of the system.Architecture description languages（ADLs） formularizes software architecture.According to the architecture description languages Wright,we bring in a graphical representation,the dynamic behavior graph（BG）,to represent the behavior and the relations of related components.With which,the testing criteria based on software architecture have been proposed.According to the definition of paths in BG graph,the algorithm of testing paths generation in BG graph has also been given.Finally,Regarding client/server architecture as an example,the method on generating testing paths of SA is shown feasible.

关 键 词：软件体系结构 软件测试 测试路径 动态行为图 测试覆盖准则 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]