基于FSM的测试用例生成算法

• 作者: 朱怡安 蔡璐 郑炜
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: 有限状态机 软件测试 用例生成算法 用例集
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 微机软件
• 页码范围: 32-36
• 分类号: TP311.5
• 字数: 4243字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2012.03.009

摘要

研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性.基于状态机分解的思想提出了新的用例生成方法,DC-方法.相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例.并给出了生成用例方法的正确性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱怡安	西北工业大学计算机学院	92	538	10.0	19.0
2	郑炜	西北工业大学计算机学院	38	229	8.0	14.0
3	蔡璐	西北工业大学计算机学院	1	1	1.0	1.0