JUTA: 一个Java自动化单元测试工具

摘要：

描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.

关键词：Java单元测试、动态测试、静态测试、程序分析、符号执行

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60903049;国家"八六三"高技术研究发展计划基金项目2009AA01Z148,2009AA010313;中国科学院知识创新工程领域前沿项目ISCAS2009-DR01

在线出版日期：2010-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1840-1848