基于扩展有限状态机的协议测试集生成研究

• 作者: 吴建平 王建国
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 一致性测试 测试例生成 树表结合表示法
• 年，卷（期）: 2001,（8）
• 页码范围: 1197-1204
• 页数: 8页
• 分类号: TP393
• 字数: 5214字
• 语种: 中文

摘要

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
2	王建国	清华大学计算机科学与技术系	13	129	6.0	11.0