|
|||||
|
|
| 基于Wright的SA级测试路径生成方法 | |
| 引用本文： | 徐士华,赵磊,吕莉媛. 基于Wright的SA级测试路径生成方法[J]. 微型机与应用, 2011, 30(8) |
| 作者姓名： | 徐士华 赵磊 吕莉媛 |
| 作者单位： | 1. 黑龙江司法警官职业学院,黑龙江哈尔滨,150060 2. 哈尔滨师范大学现代实验中心,黑龙江哈尔滨,150025 3. 哈尔滨师范大学图书馆,黑龙江哈尔滨,150025 |
| 摘 要： | 软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则.根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的. |
| 关 键 词： | 软件体系结构 软件测试 测试路径 动态行为图 测试覆盖准则 |
Method of testing path generation at SA level based on Wright |
|
| Xu Shihua,Zhao Lei,Lv Liyuan. Method of testing path generation at SA level based on Wright[J]. Microcomputer & its Applications, 2011, 30(8) | |
| Authors: | Xu Shihua Zhao Lei Lv Liyuan |
| Affiliation: | Xu Shihua1,Zhao Lei2,Lv Liyuan3(1.The Professional Judicial Police College of Heilongjiang,Harbin 150060,China,2.Modern Education and Technology Center,Harbin Normal University,Harbin 150025,3.Harbin Normal University Library,China) |
| Abstract: | |
| Keywords: | software architecture software testing testing path behavior graph testing criteria |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |