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

《基于构造类别代数的变异分析.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第12A期电子学报Voi.30No.12A2002年12月ACTAELECTRONICASINICADec.2002基于构造类别代数的变异分析周晓煜，赵保华，屈玉贵（中国科学技术大学计算机系，安徽合肥230027）摘要：在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中，设计了应用于构造类别代数的几类变异算子，并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.关键词：构造类别代数；变异分析；变异算子中

2、图分类号：TP311文献标识码：A文章编号：0372-2112（2002）12A-2155-03MutationAnalysisBasedonConstructedTypeAlgebraSpecificationZHOUXiao-yu，ZHAOBao-hua，OUYu-gui（DepartmentofComputerScience，UniuersityofScienceandTechnologyofChina，Hefei，Anhui230027，China）Abstract：Theconstructedtypeaigebraspeci

3、ficationhasbeenusedtospecifycommunicationprotocoisinprotocoiconformancetesting.Inthispaper，mutationanaiysisisintroducedintotheconstructedtypeaigebraspecification.Severaikindsofmutantoperatorsaredesignedandthemethodusingmutationanaiysisbasedonconstructedtypeaigebraspecif

4、icationisproposed.Thismethodprovidesanewprobabiedirectionfortheprotocoiconformancetestingbasedontheconstructedtypeaigebraspecification.Keywords：constructedtypeaigebraspecification；mutationanaiysis；mutantoperator函数的有限集合，O是C与E中定义的函数应满足的等式公!引言理.一个通信协议可以用上述的构造类别代数来描述：使用函通信协

5、议的一致性测试，是指验证通信协议的待测实现数来描述协议的行为；使用公理来规定协议行为应满足的要的外部行为与其规范描述是否一致的过程.在文献［1］中，作求.下面是使用构造类别代数对RIP协议中的路由算法的描者提出了使用构造类别代数来形式化协议，然后根据形式化述（详细说明参阅文［4］）：描述的公理部分生成测试序列.但是，如何从形式化的公理生route-list=成测试序列，以及生成的测试序列是否能够对协议进行充分S：route-list，address，Nat的测试，作者没有进行更进一步的讨论.C：Empty：!route-list（1）

6、变异分析是一种基于故障的测试方法，通常用于软件的Response：route-list，address，Nat，address!route-list（2）单元测试.这种方法通过在程序中引入错误，生成能够检测出E：Metric：route-list，address!Nat（3）Nexthop：route-list，address!address（4）这些错误的测试用例，从而检查待测程序中是否存在这些错Reguest：route-list!route-list（5）误.O：rlist"route-list；addr1，addr2，addr

7、3"address；n"Nat本文将变异分析引入构造类别代数，为基于构造类别代Metric（Empty，addr1）=UNDEFINE（a）数描述的通信协议测试提出了一个新的方向.在基于构造类Metric（Response（Empty，addr1，n，addr2），addr1）=n+1（6）别代数的协议描述中，使用等式公理来描述协议的行为.针对⋯⋯协议的公理部分，本文中提出了几类变异算子，并且给出了应Regues（trlist）=rlist（i）用这些算子生成测试用例的基本方法.根据公理与外部环境的信息交互关系，可将所有的公理分为三类

8、："基于构造类别代数的协议描述可控制公理对输入信息直接进行处理的公理.构造类别代数可以定义为一个四元组D=〈S，C，E，O〉，可观察公理能够产生输出信息的公理.其中，S是类别名的有限集合，C和E分别是构造函数和延拓内部公