首页 | 本学科首页   官方微博 | 高级检索  
     

基于扩展CHAM的SA级路径覆盖方法
引用本文:徐士华,吕莉媛,赵磊.基于扩展CHAM的SA级路径覆盖方法[J].微电子学与计算机,2011,28(9).
作者姓名:徐士华  吕莉媛  赵磊
作者单位:1. 黑龙江司法警官职业学院,黑龙江哈尔滨,150060
2. 哈尔滨师范大学图书馆,黑龙江哈尔滨,150025
3. 哈尔滨师范大学现代实验中心,黑龙江哈尔滨,150025
基金项目:教育部项目(10YJC870025)
摘    要:化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.

关 键 词:测试路径  标号迁移系统  测试覆盖准则  化学抽象机

Method of Paths Coverage at SA Level Based on E-CHAM
XU Shi-hua,LV Li-yuan,ZHAO Lei.Method of Paths Coverage at SA Level Based on E-CHAM[J].Microelectronics & Computer,2011,28(9).
Authors:XU Shi-hua  LV Li-yuan  ZHAO Lei
Affiliation:XU Shi-hua1,LV Li-yuan2,ZHAO Lei3(1 The Professional Judicial Police College of Heilongjiang,Harbin 150060,China,2 Harbin Normal University Library,Harbin 150025,3 Modern Experiment Center of Harbin Normal University,China)
Abstract:
Keywords:testing path  LTS  testing criteria  chemical Abstract machine  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号