论文部分内容阅读
该文给出基于路由协议ospf的互操作测试整个过程的说明.首先定义了互操作、互操作测试、互操作关系的基本概念.然后依据实现间交互的程度和测试器观察交互的程度我们提出了不同的互操作测试体系结构;对于互操作测试下的需求说明和其实现我们使用了输入输出标记转换系统(IOLTS)对其进行形式化的描述;并根据不同的体系结构定义了不同互操作关系.接着我们用IOSM对说明和实现进行建模来说明其状态和交互行为;根据以上的形式化结果,我们提出一个互操作测试套生成算法.最后进行了测试例的执行、评价和展望.