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

摘要：

软件体系结构描述系统的高层结构和行为特征，软件体系结构描述语言ADLS是对软件体系结构的形式化描述．本文在软件体系结构描述语言Wright的基础上，引入了一种图形的表示方法，即动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系，在此基础上，又提出了软件体系结构测试覆盖准则，并根据BG图中路径的定义，给出了BG图中测试路径生成算法的基本思想．最后以C／S体系结构为倒，验证了该方法在生成SA级的测试路径上是可行的．

关键词： 软件体系结构 测试路径 动态行为图 生成方法

作者: 赵磊 徐士华 赵国生

作者单位: 哈尔滨师范大学现代实验中心 哈尔滨 150025 黑龙江司法警官职业学院 哈尔滨 150060

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 195-198

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）