Details

Autor(en) / Beteiligte

• 吴潇雪
• 郑炜
• 王培源
• 王培甲
• 樊宋宇

Titel

基于JDart的测试用例自动生成与优化

Ist Teil von

• 西北工业大学学报, 2018, Vol.36 (1), p.156-161

Ort / Verlag

西北工业大学 自动化学院,陕西 西安,710072%西北工业大学 软件与微电子学院,陕西 西安,710072

Erscheinungsjahr

2018

Link zum Volltext

Quelle

EZB Electronic Journals Library

Beschreibungen/Notizen

• 基于符号执行的测试用例生成方法，以其高可靠性得到了学术界和工业界广泛关注。然而。已有工具大都面向C或者C＋＋程序，面向Java的符号执行工具发展相对较慢。JDart是表现较好的一款开源的面向Java的符号执行工具，但是对复杂数据类型比较数组却支持很弱，因此，在对JDart工具以及动态符号技术进行分析的基础上，通过对JDart测试用例生成能力和存在问题的深入剖析，针对数组处理进行改进，以提高生成测试用例的代码覆盖率，保证测试质量。最后，通过用三角形程序实例进行验证，结果表明，改进后的JDart工具能够完全探索函数中关于数组处理的所有路径。