咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >基于CHAM的SA级全路径覆盖方法 收藏

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

Method of All Path Coverage at SA Level Based on CHAM

作     者:赵磊 徐士华 赵国生 伦立军 ZHAO Lei;XU Shi-hua;ZHAO Guo-sheng;LUN Li-jun

作者机构:哈尔滨师范大学现代教育技术中心黑龙江哈尔滨150025 黑龙江司法警官职业学院黑龙江哈尔滨150060 哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨150025 

出 版 物:《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期:2010年第27卷第4期

页      面:140-144页

学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

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

主  题:软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 

摘      要:文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分