全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
电子学报  2002 

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

, PP. 2155-2157

Keywords: 构造类别代数,变异分析,变异算子

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

References

[1]  孙宇霖,屈玉贵,赵保华.一种通信协议测试序列生成的新方法[J].通信学报,2001,22(6):122-127.
[2]  Weichen Eric Wong.On Mutation and Data Flow[D].Indiana USA:Purdue University,Software Engineering Research Center,1993.
[3]  Hiralal Agrawal,Richard A DeMillo,et al.Design of mutant operators for the C programming language[R].Indiana USA:Purdue University,Software Engineering Research Center,1989.
[4]  孙宇霖.基于构造类别代数协议测试理论的研究[D].安徽合肥:中国科学技术大学计算机科学技术系,2002.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133