协议一致性测试集自动生成技术综述

• 作者: 李建东 陈晓梅
• 来源期刊: 科技信息（学术版）
• 学科: 工学
• 关键词: 一致性测试 测试集 自动生成技术
• 年，卷（期）: 2007,（34）
• 所属期刊栏目: 博士·专家论坛
• 页码范围: 35-36
• 页数: 2页
• 分类号: TP2
• 字数: 3909字
• 语种: 中文

摘要

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈晓梅	国防科学技术大学计算机学院	7	67	2.0	7.0
2	李建东	国防科学技术大学继续教育学院	1	8	1.0	1.0