一种基于构造类别代数的协议一致性测试方法
构造类别代数是一种通信协议的形式化方法.本文针对基于构造类别代数的协议描述,引入变异分析方法,对协议进行一致性测试.本文针对构造类别代数设计了几类变异算子,并且给出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
构造类别代数 变异分析 变异算子 通信协议 测试方法 协议一致性
周晓煜 赵保华 屈玉贵
中国科学技术大学计算机系(安徽合肥)
国内会议
北京
中文
311-315
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）