基于JPF的类数据流测试生成技术

• 作者: 唐春艳 钟诚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 程序模型检测 数据流测试 类测试序列生成 Java
• 年，卷（期）: 2007,（21）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 78-80
• 页数: 3页
• 分类号: TP311
• 字数: 2585字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.21.028

摘要

通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现.算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟诚	广西大学计算机与电子信息学院	195	1023	14.0	21.0
2	唐春艳	广西大学计算机与电子信息学院	2	7	2.0	2.0