%0 Journal Article
%T 基于构造类别代数的变异分析
%A 周晓煜
%A 赵保华
%A 屈玉贵
%J 电子学报
%P 2155-2157
%D 2002
%X 在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
%K 构造类别代数
%K 变异分析
%K 变异算子
%U http://www.ejournal.org.cn/CN/abstract/abstract7509.shtml