一种通信协议测试序列生成的新方法

摘要：

本文讨论了一种协议测试的新方法,它使用构造类别代数描述通信协议规范,然后根据规范中的公理部分生成测试序列.本文以栈规范为例介绍这种方法的应用.并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点.

关键词：协议测试、构造类别代数规范、有限状态机

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-317-04-16-99,863-300-02-08-99;高等学校博士学科点专项科研项目2000035802

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：122-127