基于CHAM的SA级全路径覆盖方法  

Method of All Path Coverage at SA Level Based on CHAM

作　　者：赵磊[1] 徐士华[2] 赵国生[1] 伦立军[3] 

机构地区：[1]哈尔滨师范大学现代教育技术中心,黑龙江哈尔滨150025 [2]黑龙江司法警官职业学院,黑龙江哈尔滨150060 [3]哈尔滨师范大学计算机科学与信息工程学院,黑龙江哈尔滨150025

出　　处：《微电子学与计算机》2010年第4期140-144,共5页Microelectronics & Computer

基　　金：黑龙江省教育厅科技项目(11531237)

摘　　要：文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.This paper proposes an approach to generate LTS of SA specification described by CHAM. According to the testing requirement we select testing criteria. By using all paths testing method, we generate testing paths based on the testing creteria. Finally, Regarding Browser/Server architecture as an example, the method on generating testing paths of SA is shown feasible.

关 键 词：软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]