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

Method of Paths Coverage at SA Level Based on E-CHAM

作　　者：徐士华[1] 吕莉媛[2] 赵磊[3] 

机构地区：[1]黑龙江司法警官职业学院,黑龙江哈尔滨150060 [2]哈尔滨师范大学图书馆,黑龙江哈尔滨150025 [3]哈尔滨师范大学现代实验中心,黑龙江哈尔滨150025

出　　处：《微电子学与计算机》2011年第9期22-26,共5页Microelectronics & Computer

基　　金：教育部项目(10YJC870025)

摘　　要：化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.Chemical Abstract machine（CHAM） language describes system states diversification by combining chemical reaction and concept of Abstract machine.For this reason,description of CHAM can be employed in guiding analysis and testing.This paper uses CHAM to model components of software architecture（SA）,and then derives labelled transition system（LTS） of this component to show interactive of component＇s behaviors.According to the selected coverage criteria,we derive all testing paths based on the LTS of the component.Finally,regarding Browser/Server（B/S） architecture as an example,the experiments on generating testing paths of DB component is shown feasible.

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

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