基于构造类别代数的变异分析

• 作者: 周晓煜 屈玉贵 赵保华
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 构造类别代数 变异分析 变异算子
• 年，卷（期）: 2002,（z1）
• 所属期刊栏目: 科研通信
• 页码范围: 2155-2157
• 页数: 3页
• 分类号: TP311
• 字数: 3293字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.z1.060

摘要

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
3	周晓煜	中国科学技术大学计算机系	1	4	1.0	1.0