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

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