面向构件接口变异的模型检验技术研究

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。

A Research on Model Checking for Interface Mutation of Component

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 mode...