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.