-
题名基于标号变迁系统的测试集自动生成
被引量：6
- 1
-
-
作者
蒋凡
宁华中
-
机构
中国科技大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第12期1435-1445,共11页
-
基金
1998年华为科技基金资助 ( YBDP2 0 0 0 0 0 2 )
-
文摘
首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS.
-
关键词
标号变迁系统
形式化方法
有限状态机
测试集
自动生成
网络协议
iso9646
-
Keywords
protocol conformance testing, labelled transition system, formal method, test generation, finite state machine
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名基于Linux环境的TCP协议一致性测试实现
被引量：1
- 2
-
-
作者
蒋凡
胡澄宇
张卫星
-
机构
中国科技大学计算机科学与技术系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第5期50-52,82,共4页
-
基金
华为自然科学基金项目
-
文摘
依照的定义,阐述了协议一致性测试的基本概念、基本模型、测试方法、测试流程、测试描述语言。通过对系统ISO9646LinuxTCP协议的重新配置,利用系统提供的原始套接口和链路套接口,从而确保测试报文按照测试的要求发送和接Linuxsock_raw ()sock_packet() 收,最终简洁且高效地实现对复杂的协议的一致性测试。
-
关键词
一致性测试
TCP协议
LINUX
iso9646
INTERNET
-
Keywords
Protocol conformance testTCP protocolLinux
-
分类号
TN915.04
[电子电信—通信与信息系统]
TP393.4
[自动化与计算机技术—计算机应用技术]
-
