摘要
为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。
Motivated by compressing the model of component through slicing technique, this paper employs the interactive relation-ship of the components. Then it proposes a method of constructing a function dependence graph for component system, which ismade of a test driver node and some extended component nodes. Finally, by an example, it demonstrates that this method could notonly decrease the size of the state space and increase the efficiency for testing generation, but also guarantee the comprehensionand the validity of the interface testing for Java Bean components while applying the method of interface mutation testing based onmodel checking.
出处
《电脑知识与技术（过刊）》
2015年第1X期211-214,共4页
Computer Knowledge and Technology
关键词
模型检验
接口变异
切片技术
功能依赖图
model checking
interface mutation
slicing technique
function dependence graph
