|
|||||
|
|
| 基于CHAM的SA级全路径覆盖方法 | |
| 引用本文： | 赵磊,徐士华,赵国生,伦立军. 基于CHAM的SA级全路径覆盖方法[J]. 微电子学与计算机, 2010, 27(4) |
| 作者姓名： | 赵磊 徐士华 赵国生 伦立军 |
| 作者单位： | 1. 哈尔滨师范大学,现代教育技术中心,黑龙江,哈尔滨,150025 2. 黑龙江司法警官职业学院,黑龙江,哈尔滨,150060 3. 哈尔滨师范大学,计算机科学与信息工程学院,黑龙江,哈尔滨,150025 |
| 基金项目： | 黑龙江省教育厅科学技术研究项目 |
| 摘 要： | 文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/ S结构为例,验证了该方法在生成SA级的测试路径上是可行的. |
| 关 键 词： | 软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 |
Method of All Path Coverage at SA Level Based on CHAM |
|
| ZHAO Lei,XU Shi-hua,ZHAO Guo-sheng,LUN Li-jun. Method of All Path Coverage at SA Level Based on CHAM[J]. Microelectronics & Computer, 2010, 27(4) | |
| Authors: | ZHAO Lei XU Shi-hua ZHAO Guo-sheng LUN Li-jun |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |