|
|||||
|
|
| 基于动态Wright体系结构描述语言测试方法 | |
| 作者姓名： | 刘宜鑫 伦立军 |
| 作者单位： | 哈尔滨师范大学计算机科学系,黑龙江,哈尔滨,150080 |
| 基金项目： | 黑龙江省教育厅科技项目(11511127)，黑龙江省智能教育与信息工程重点实验室开放基金资助项目(PKL07-03)。 |
| 摘 要： | 软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统LTS描述软件系统的状态变化及迁移信息,指导测试路径生成。 |
| 关 键 词： | 软件体系结构 软件测试 路径生成 Dynamic Wright 标号迁移系统 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |