Volume 36, Number 1, February 2018
|Page(s)||156 - 161|
|Published online||18 May 2018|
JDart-Based Test Cases Generation and Optimization
School of Automation, Northwestern Polytechnical University, Xi'an 710072, China
2 School of Software and Microelectronics, Northwestern Polytechnical University, Xi'an 710072, China
Test cases play a crucial role in software testing, with the increasing complexity and scale of software, automatic test cases generation becomes increasingly important for software reliability and test efficiency. Symbolic-based test cases generation approach draws great attention due to its high reliability and there are already various kinds of tools introduced. However, most of these tools are C-oriented. JDart is a good open source Java-oriented symbol execution tool with excellent scalability. This paper aims to enhance the automatic test generation ability of JDart by designing and optimizing its array symbolization. The verification result shows that the optimization strategy proposed in this paper is effective in the test of the Jdart, it can effectively improve the coverage of Jdart on program involving complex object testing.
Key words: test case generation / JDart, dynamic symbolic execution / optimization strategy, scalability, software reliability
关键字 : 测试用例生成 / JDart / 符号执行 / 优化策略
© 2018 Journal of Northwestern Polytechnical University. All rights reserved.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.