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

摘要：

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

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

所属期刊栏目：26

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

资助基金：国家自然科学基金90104010;国家自然科学基金60241004;高等学校博士学科点专项科研项目2000035802;安徽省自然科学基金01042208;国家高技术研究发展计划863计划2001AA112062,2001AA121016;中国科学院院长基金院基计字905号

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

页数：共5页

页码：7-11