A Research on Model Checking for Interface Mutation of Component
Ouyang Zhi-qiang · Computer Knowledge and Technology · 2010
With the widely use of the technology of component, the quality requirement of component software systems is more strictly. In this paper, it uses the technology of model checking for interface mutation testing. Firstly, a detailed introduction of basic principles for interface mutation based on model checking is showed, followed by the analysis of interaction relationship between components during components integration, and proposes interface mutation testing based on model checking by constructing a model of interface function calls between components. Finally, it shows the example of the JavaBean-component for interface testing and the automatic generation of test cases.