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

运用切片技术和模型检验进行构件接口测试摘要：为了达到运用切片技术对构件模型进行状态空间压缩的目的，在构件之间接口的交互关系的基础上，提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方