本文结合OSPFv3测试过程，讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构以及形式化方法......

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动......

利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所......

利用面向对象程序设计语言Ｊａｖａ完善从文体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件，使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开，而且为了方便用户......

参考实现是协议测试系统中接收测试执行的命令和数据,通过服务提供者与被测模块进行通信的功能模块.本文讨论了协议集成测试系统(P......

拒绝测试(refusal testing)是标号变迁系统LTS测试领域中的一个重要理论。在拒绝测试中,测试者不仅能检测到动作可以发生,而且能检......

路由协议测试中的效率和覆盖率亟待提高.原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用.因......