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

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

化学抽象机形式化语言(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.