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

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.