Institutional Repository
| JUTA:一个Java自动化单元测试工具 | |
| Alternative Title | juta: an automated unit testing framework for java |
| 严俊; 郭涛; 阮辉; 玄跻峰 | |
| 2010 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 47Issue:10Pages:1840-1848 |
| English Abstract | 描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果. |
| Keyword | Java单元测试 动态测试 静态测试 程序分析 符号执行automatic Testing Data Flow Analysis Errors Java Programming Language Regression Analysis Steel Bridges |
| Department | 中国科学院软件研究所;中国信息安全测评中心;大连理工大学数学科学学院; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9728 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 严俊,郭涛,阮辉,等. JUTA:一个Java自动化单元测试工具[J]. 计算机研究与发展,2010,47(10):1840-1848. |
| APA | 严俊,郭涛,阮辉,&玄跻峰.(2010).JUTA:一个Java自动化单元测试工具.计算机研究与发展,47(10),1840-1848. |
| MLA | 严俊,et al."JUTA:一个Java自动化单元测试工具".计算机研究与发展 47.10(2010):1840-1848. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| JUTA+一个Java自动化单元测试工具（695KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment