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

Mutation Analysis Based on Constructed Type Algebra Specification

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

The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing. In this paper,mutation analysis is introduced into the constructed type algebra specification. Several kinds of mutant 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.