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

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

作　　者：郭雄辉[1] 赵保华[1] 周颢[1] 屈玉贵[1] 

机构地区：[1]中国科学技术大学计算机系,合肥230027

出　　处：《北京邮电大学学报》2003年第z2期7-11,共5页Journal of Beijing University of Posts and Telecommunications

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

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

关 键 词：构造类别代数 形式化描述 一致性测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]