JUTA_一个Java自动化单元测试工具_严俊.doc

word完美格式 精心整理 学习帮手 JUTA:一个Java自动化单元测试工具 严　俊1　郭　涛2　阮　辉1　玄跻峰3 (中国科学院软件研究所　北京　100190) (中国信息安全测评中心　北京　100085) (大连理工大学数学科学学院　辽宁大连　116024) HYPERLINK mailto:(junyan@) (junyan@) JUTA:An Automated Unit Testing Framework for Java Yan Jun1,Guo Tao2,Ruan Hui1,and Xuan Jifeng3 1(Institute ofSoftware,Chinese Academy ofSciences,Beijing100190) 2(China Information Technology Security Evaluation Center,Beijing100085) 3(Schoolof Mathematical Sciences,Dalian University of Technology,Dalian,Liaoning116024) Abstract　Testing is very important and time consuming in the development of high-quality software systems.This paper proposes an automatic testing tool JUTA for unit testing of Java programs.The approach is based on sharp analysis of the programs.JUTA firstly employs the Java optimization framework Soot to parse a single Java method into byte code and translates it into a control flow graph (CFG).It then performs depth-first or breadth-first search on the CFG to extract paths from it.Some techniques such as path length restriction are used to prevent path number explosion.Finally JUTA analyzes the paths based on the combination of symbolic execution and constraint solving.The goal of path analysis lies in two folds.It can generate a set of test cases satisfying the test criterion such as statement coverage.The test set typically has small number of test cases that are all executable.In addition to test generation for dynamic testing,it can also be used in static testing.JUTA can reveal certain kinds of errors from the source code automatically if the user provides proper assertions to describe the errors.The experimental results show that this tool is efficient for both dynamic and static testing. Key words　Java unit testing;dynamic testing;static testing;program analysis;symbolic execution 摘　要　描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法 的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具 能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且 一般来说具有较小的测试用例数.如果用户能够合理地