JUTA:一个Java自动化单元测试工具
| Data(s) |
2010
|
|---|---|
| Resumo |
描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
严俊;郭涛;阮辉;玄跻峰.JUTA:一个Java自动化单元测试工具,计算机研究与发展,2010,47(10):1840-1848 |
| Palavras-Chave | #Computer Science #Java单元测试 #动态测试 #静态测试 #程序分析 #符号执行Automatic testing #Data flow analysis #Errors #Java programming language #Regression analysis #Steel bridges |
| Tipo |
期刊论文 |
