JDart-Based Test Cases Generation and Optimization

Xibei Gongye Daxue Xuebao

关键词: test case generation;    jdart, dynamic symbolic execution;    optimization strategy, scalability, software reliability;   

DOI  :  10.1051/jnwpu/20183610156

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown