基于一种扩展分层有限状态机模型的测试生成

• 作者: 王俊义 萨智海
• 来源期刊: 内蒙古大学学报（自然科学版）
• 学科: 工学
• 关键词: 扩展分层有限状态机(EHFSM) 控制流 数据流 测试生成
• 年，卷（期）: 2005,（5）
• 页码范围: 575-578
• 页数: 4页
• 分类号: TP393.06
• 字数: 2453字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1638.2005.05.019

摘要

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(EHFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王俊义	内蒙古大学计算机学院	18	149	7.0	11.0
2	萨智海	内蒙古大学计算机学院	1	2	1.0	1.0