基于扩展有限状态机测试序列生成方法研究

• 作者: 蒋凡 郐吉丰 魏蓉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 学术探讨
• 页码范围: 62-64,74
• 页数: 4页
• 分类号: TP311
• 字数: 5151字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.07.019

摘要

扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题.讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学与技术系	97	867	16.0	25.0
2	魏蓉	中国科学技术大学计算机科学与技术系	3	26	2.0	3.0
3	郐吉丰	中国科学技术大学计算机科学与技术系	3	26	2.0	3.0