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

更新时间：2025-07-16

- Mutation Analysis Based on Constructed Type Algebra Specification
- Acta Electronica Sinica Vol. 30, Issue S1, Pages: 2155-2157(2002)
- 作者机构：
  
  中国科学技术大学计算机系,安徽,合肥,230027
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2002
- 稿件说明：
移动端阅览
ZHOU Xiao-yu, ZHAO Bao-hua, QU Yu-gui. Mutation Analysis Based on Constructed Type Algebra Specification[J]. Acta Electronica Sinica, 2002, 30(S1): 2155-2157.
DOI：

ZHOU Xiao-yu, ZHAO Bao-hua, QU Yu-gui. Mutation Analysis Based on Constructed Type Algebra Specification[J]. Acta Electronica Sinica, 2002, 30(S1): 2155-2157. DOI：

摘要

在通信协议的一致性测试中

可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中

设计了应用于构造类别代数的几类变异算子

并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.

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

references

Views

958

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰