论文部分内容阅读
随着Internet的发展，高效稳定的路由协议成为保障网络性能的重要因素，对路由协议的测试已成为科研人员日益关注的热点。对域內网关主流协议之一的IS-IS路由协议进行了一致性测试的研究；给出了邻接关系有限状态机；对IS-IS协议进行了TTCN-3抽象测试套的描述，并给出了IS-IS协议的可执行测试例；最后在Linux下对路由软件Quagga-0.99.7中实现的IS-lS协议进行了一致性测试，并对测试结果进行了分析。