| 基于构造类别代数的变异分析 |
| |
| 引用本文： | 周晓煜,赵保华,屈玉贵.基于构造类别代数的变异分析[J].电子学报,2002,30(Z1):2155-2157. |
| |
| 作者姓名： | 周晓煜 赵保华 屈玉贵 |
| |
| 作者单位： | 中国科学技术大学计算机系, 安徽合肥, 230027 |
| |
| 基金项目： | 国家自然科学基金，高等学校博士学科点专项科研项目，安徽省自然科学基金，国家高技术研究发展计划(863计划)，中国科学院院长基金，90104010,60241004，2000035802，01042208，2001AA112062,2001AA121016，院基计字905号，，，，， |
| |
| 摘 要： | 在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
|
| 关 键 词： | 构造类别代数 变异分析 变异算子 |
| 文章编号： | 0372-2112(2002)12A-2155-03 |
| 收稿时间： | 2002-06-06 |
| 修稿时间： | 2002年6月6日 |
Mutation Analysis Based on Constructed Type Algebra Specification |
| |
| ZHOU Xiao-yu,ZHAO Bao-hua,QU Yu-gui.Mutation Analysis Based on Constructed Type Algebra Specification[J].Acta Electronica Sinica,2002,30(Z1):2155-2157. |
| |
| Authors: | ZHOU Xiao-yu ZHAO Bao-hua QU Yu-gui |
| |
| Affiliation: | Department of Computer Science, University of Science and Technology of China, Hefei, Anhui 230027, China |
| |
| Abstract: | The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing. In this paper, mutation analysis is inlrodaced into the constructed type algebra specification. Several kinds of mntant operators are designed and the method using mutation analysis based on constructed type algebra specification is proposed. This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification. |
| |
| Keywords: | constructed type algebra specification mntation analysis mutant operator |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
