自动测试中的状态生成算法

• 作者: 喻超 毋国庆
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 自动测试 性质验证 程序逻辑
• 年，卷（期）: 2010,（19）
• 页码范围: 65-66,69
• 分类号: TP301.6
• 字数: 3722字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.19.022

摘要

针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法.结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖.该方法采用程序员熟悉的程序逻辑的描述方法,更易于使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
2	喻超		4	5	1.0	2.0