摘  要： 软件体系结构用来描述系统的高层结构和行为特征，软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上，引入了一种图形的表示方法，即以动态行为图（BG图）来表示相关的构件间的动态行为及它们之间的关系，并提出了软件体系结构测试覆盖准则。根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想。以C/S体系结构为例，验证了该方法在生成SA级的测试路径上是可行的。
关键词： 软件体系结构; 软件测试; 测试路径; 动态行为图; 测试覆盖准则

    利用软件体系结构模型来指导测试是目前软件测试的一个重要研究领域。依据参考文献[1]的定义，SA基本组成元素包括构件、连接件、配置和约束。构件是一个计算单元或一个数据存储单元；连接件是体系结构中的“粘合剂”,用于建模构件间交互并定义交互规则；配置是一种拓扑结构，用来描述系统中的构件与连接件之间的关系；约束是关于系统或其一部分性质或断言。
    软件体系结构描述语言ADLs从不同方面对软件体系结构进行规约和建模分析，是对软件体系结构的形式化描述。典型的ADL包括UniCon、Rapide、Darwin、Wright、C2 SADL、Acme、xADL、XYZ/ADL和ABC/ADL等[2]。
    目前软件体系结构测试主要集中在建立测试抽象模型及体系结构动态特征的提取。Jin Zhenyi和OFFUTT J用Wright语言描述软件体系结构，生成基于ICG图和BG图的测试用例[3]。ROBERT A[4]引入体系结构描述语言Wright，为描述和分析软件体系结构和结构类型提供一种有效方式。BERTOLINO A[5]等人提出利用化学抽象机形式化描述SA，定义了基于化学抽象机的模型和测试覆盖准则，由此导出基于结构描述的测试计划。ABDURAZIK A等人针对软件体系结构描述，提出了通用的体系结构测试覆盖准则[6]。ROSENBLUM[7]提出基于构件的软件测试理论，指出这种技术在综合层要优于结构层，同时也依赖于执行的完整性。
    本文提出一种基于Wright的新技术。以Client/ Server体系结构的Wright描述为模型，提出了相应的测试覆盖准则，生成此结构的动态行为图以及相应的测试路径，文中还给出了基于此结构的测试路径生成算法的基本思想。