一种基于模型检验的类测试用例生成方法

• 作者: 徐宝文 梁陈良 聂长海 陈振宇
• 来源期刊: 东南大学学报(自然科学版)
• 学科: 工学
• 关键词: 软件测试 模型检验 时序逻辑 测试用例
• 年，卷（期）: 2007,（5）
• 页码范围: 776-781
• 页数: 6页
• 分类号: TP311
• 字数: 5075字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2007.05.008

摘要

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程学院	118	3034	31.0	51.0
2	聂长海		16	721	12.0	16.0
3	梁陈良	东南大学计算机科学与工程学院	1	17	1.0	1.0
4	陈振宇		1	17	1.0	1.0