Describing Component Behavior Using Improved Chemical Abstract Machine

This paper proposes an improved chemical abstract machine to accurately describe the behavior characteristics of components based on chemical computation model. The chemical abstract machine is analyzed from the perspective of software field, thereupon the formal description of chemical abstract machine is given based on γc computation model. Firstly, we analyze the dynamic characteristics of components and chemical computation model. Secondly, the definition of chemical abstract machine and relevant rules are extended to more accurately describe the dynamic behavior of some components. Then, the γc computation model of the component is given for accurately describing the component behavior. Finally, an actual case of component is described by using the improved component chemical abstract machine model. The case shows that the improved component chemical abstract machine model can provide a good theoretical foundation for generating effective test cases in component testing.

[1]  Gary A. Bundell,et al.  Model-Based Software Component Testing: A UML-Based Approach , 2007, 6th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007).

[2]  Zhang Yong.  Automatic Testing Data Generation in the Testing Based on EFSM , 2003 .

[3]  Pascal Fradet,et al.  Generalised multisets for chemical programming , 2006, Math. Struct. Comput. Sci..

[4]  Paola Inverardi,et al.  Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model , 1995, IEEE Trans. Software Eng..

[5]  Nina Yevtushenko,et al.  Testing from partial deterministic FSM specifications , 2005, IEEE Transactions on Computers.

[6]  Henry Muccini,et al.  Deriving test plans from architectural descriptions , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[7]  Chen Sheng-bo.  Modeling and Testing Web Applications Based on ORD and FSM , 2008 .