基于形式活动图的协议一致性测试用例生成方法研究

• 作者: 余祥 李强 齐建业
• 来源期刊: 安徽大学学报（自然科学版）
• 学科: 工学
• 关键词: 协议 一致性测试 测试用例 形式活动图
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 电子信息技术
• 页码范围: 75-80
• 页数: 6页
• 分类号: TP311
• 字数: 5428字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2162.2013.03.014

摘要

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李强		14	74	3.0	8.0
2	余祥		8	15	3.0	3.0
3	齐建业		2	8	2.0	2.0