An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective

Author(s)

Eler, Marcelo M. ; Endo, Andre T. ; Durelli, Vinicius H. S.

• Document type: Journal article
• Source: JOURNAL OF SYSTEMS AND SOFTWARE; v. 121, p. 281-297, NOV 2016.
• Web of Science Citations: 4

Abstract

In software testing, a program is executed in hopes of revealing faults. Over the years, specific testing criteria have been proposed to help testers to devise test cases that cover the most relevant faulty scenarios. Symbolic execution has been used as an effective way of automatically generating test data that meet those criteria. Although this technique has been used for over three decades, several challenges remain and there is a lack of research on how often they appear in real-world applications. In this paper, we analyzed two samples of open source Java projects in order to understand the characteristics that may hinder the generation of unit test data using symbolic execution. The first sample, named SF100, is a third party corpus of classes obtained from 100 projects hosted by SourceForge. The second sample, called R47, is a set of 47 well-known and mature projects we selected from different repositories. Both samples are compared with respect to four dimensions that influence symbolic execution: path explosion, constraint complexity, dependency, and exception-dependent paths. The results provide valuable insight into how researchers and practitioners can tailor symbolic execution techniques and tools to better suit the needs of different Java applications. (C) 2016 Elsevier Inc. All rights reserved. (AU)

• FAPESP's process: 14/08713-9 - Automatic test data generation to cover exception-dependent paths using symbolic execution
• Grantee: Marcelo Medeiros Eler
• Support Opportunities: Regular Research Grants