基于构造类别代数的数据流和控制流相结合的协议测试

北京邮电大学学报

基于构造类别代数的数据流和控制流相结合的协议测试

中国科学技术大学计算机系, 合肥 230027

基金资助:
自然科学基金重大研究计划项目资助(90104010);自然科学基金科学部主任基金项目资助(60241004);教育部博士点基金项目资助(2000035802);安徽省自然科学基金项目资助(01042208);国家“ 863 计划”项目资助(2001AA112062 和 2001AA121016);中国科学院院长基金特别支持项目资助(院基计字 905 号)

A Combined Control and Data Flow Method for Protocol Testing Based on Construct Type Algebra

Computer Science and Technology Department , USTC , Hefei 230027 , China

Supported by:

摘要/Abstract

摘要： 如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题, 本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法, 给出了在其上的测试用例生成算法, 有限状态机模型到构造类别代数模型的转换算法, 并且给出了在一个实际的路由协议RIP 的测试中的应用例子.

关键词:

构造类别代数, 形式化描述, 一致性测试 ,

Abstract:

Generation of test cases from a protocol specification for the purposes of testing both control and data flow aspects of a protocol implementation is a challenging problem .In this paper , we propose a testing method , based on construct type algebra , which combined control and data flow .We also provide one algorithm of generating test cases based on this testing method , another algorithm of transforming a specification of

Finite State Machine to specification of Construct Type Algebra .The use of this method is illustrated by a practical example of testing the routing protocol RIP.

Key words:

construct type algebra , formal description , conformance testing ,

中图分类号:

TP311

郭雄辉,赵保华,周颢,屈玉贵.

基于构造类别代数的数据流和控制流相结合的协议测试

[J]. 北京邮电大学学报.

GUO Xiong-hui,ZHAO Bao-hua,ZHOU Hao,QU Yu-gui. A Combined Control and Data Flow Method for Protocol Testing Based on Construct Type Algebra[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM.

[1]	黄诚易本顺. 喷泉码的Logistic映射实现[J]. 北京邮电大学学报, 2009, 32(1): 103-107.
[2]	何晓明唐宏叶梧. MPLS流量工程中的最小化抢占路径选择方法[J]. 北京邮电大学学报, 2009, 32(1): 19-23.
[3]	曾志民刘琦冯春燕郭彩丽. 认知无线电网络自适应带宽分配机制及性能分析[J]. 北京邮电大学学报, 2009, 32(1): 39-42.
[4]	张明武杨波祝胜林. 可信模块隐私保护的自证明签密方案[J]. 北京邮电大学学报, 2009, 32(1): 60-64.
[5]	张冬梅，马华东，高大永. 基于Uppaal的移动IPv6协议的模型检测[J]. 北京邮电大学学报, 2005, 28(4): 45-49.
[6]	肖刚,顾晓鸣,万进. 抽象 MIB 视图及其在综合网管中的应用 [J]. 北京邮电大学学报, 2003, 26(S2): 114-119.
[7]	张若英,邱雪松,孟洛明. SLA 的表示方法和应用 [J]. 北京邮电大学学报, 2003, 26(S2): 12-17.
[8]	孙俊,叶建平. WDM 全光网连接管理系统的结构设计 [J]. 北京邮电大学学报, 2003, 26(S2): 133-138.
[9]	赵振峰,毛武兴,李瑞林. 电信级高可靠性通信软件平台的研究和开发 [J]. 北京邮电大学学报, 2003, 26(S2): 150-154.
[10]	王君珂 1,张雷 1,王柏 1,艾波 2. 电信运营支撑系统中产品客户化的分析与实现 [J]. 北京邮电大学学报, 2003, 26(S2): 145-149.
[11]	张川 1,王柏 1,艾波 2. 分布式系统的不确定性及其对Uni-CRM测试的影响 [J]. 北京邮电大学学报, 2003, 26(S2): 96-101.
[12]	黄卿贤1,胡谷雨2. 基于本体的网络管理知识模型 [J]. 北京邮电大学学报, 2003, 26(S2): 47-51.
[13]	李祥军,邱雪松,詹志强,孟洛明. 基于策略的网络管理控制下的 IP QoS业务接入控制 [J]. 北京邮电大学学报, 2003, 26(S2): 31-36.
[14]	齐芳,吴宇红,刘炯. 基于抽象信息模型的关系管理方法[J]. 北京邮电大学学报, 2003, 26(S2): 102-106.
[15]	卫东华,石志强,吴志美. 基于事件流模型的网络故障管理系统 [J]. 北京邮电大学学报, 2003, 26(S2): 52-58.