共查询到10条相似文献,搜索用时 20 毫秒
1.
测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块. 相似文献
2.
IPv6协议一致性测试系统 总被引:1,自引:1,他引:1
随着IPv6协议在我国的推广应用,各种相关设备蜂拥而来,由于各协议实现厂家对协议的不同理解,使得通信设备的协议非一致性问题日趋严重,为检查各个不同生产厂家的IPv6实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,开发一种IPv6协议一致性测试系统,并利用自定义的一种形式化描述语言,实现IPv6相关协议一致性测试集的形式化,文中给出该测试的结构,通过一个测试例介绍测试集的形式化和测试实现过程,使用该测试系统对多种IPv6协议实现进行测试,发现许不一致问题,为协议实现厂家提供了修改意见,作为例子,给出一种UnixIPv6邻居发现协议实现的测试结果分析。 相似文献
3.
4.
5.
6.
IPv6邻居发现协议的一致性测试 总被引:1,自引:2,他引:1
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。 相似文献
7.
帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中 相似文献
8.
EPA协议抽象测试集的设计 总被引:1,自引:0,他引:1
根据IEC9646对协议测试的原理和说明,基于工业以太网(EPA)协议的通信特点及其要求,设计了EPA一致性测试中抽象测试集的层次结构模型,参照树表结合表示法(TTCN)的结构框架和思路定义了一种类形式化语言来描述EPA的抽象测试集,介绍了EPA抽象测试集的生成过程和实现步骤。通过EPA 一致性测试系统的实际应用,证明EPA抽象测试集能够完整的包括EPA协议一致性测试的所有内容,根据此测试集设计的测试系统能够准确测试出被测协议实现是否与EPA标准一致。 相似文献
9.
10.
认证测试^[1]技术是串空间(strand space)理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。 相似文献