基于状态机代码合成技术的状态测试数据生成

• 作者: 崔杜武 张毅坤 赵明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 状态机 代码合成 测试数据生成 遗传算法
• 年，卷（期）: 2004,（15）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 136-138
• 页数: 3页
• 分类号: TP391.4
• 字数: 3437字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.15.054

摘要

目前,基于状态机的测试多集中在测试序的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束.该文提出了状态机代码合成的方法模拟状态机行为,将其转换可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔杜武	西安理工大学计算机科学与工程学院	136	1718	19.0	35.0
2	张毅坤	西安理工大学计算机科学与工程学院	71	825	15.0	25.0
3	赵明	西安理工大学计算机科学与工程学院	5	59	4.0	5.0