运用切片技术和模型检验进行构件接口测试

摘要：

为了达到运用切片技术对构件模型进行状态空间压缩的目的，在构件之间接口的交互关系的基础上，提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤，并通过基于模型检验的接口变异测试方法对三角形问题的JavaBean构件在切片前后的模型分别进行了测试。实验结果表明，该方法能够有效地压缩系统的状态空间，提高测试效率，同时也保证了对构件接口测试的全面性和正确性。

关键词：模型检验、接口变异、切片技术、功能依赖图

分类号：TP311(计算技术、计算机技术)

在线出版日期：2015-07-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：211-214