-
题名网络协议测试的符号化一致性关系研究
被引量：1
- 1
-
-
作者
邢熠
叶新铭
谢高岗
-
机构
中国科学院计算技术研究所
内蒙古大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第29期11-16,共6页
-
基金
国家自然科学基金No.60403031, No.90604015~~
-
文摘
协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。
-
关键词
符号化一致性关系
一致性
则试
输入输出符号变迁系统(IOTS)
-
Keywords
symbotic conformance relation
eonformance test
Input/Output Symbol Transition System（IOTS）
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
