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

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

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