The Community for Technology Leaders
2013 35th International Conference on Software Engineering (ICSE) (2013)
San Francisco, CA, USA
May 18, 2013 to May 26, 2013
ISBN: 978-1-4673-3073-2
pp: 132-141
Pranav Garg , NEC Laboratories America, Princeton, NJ, USA
Franjo Ivancic , NEC Laboratories America, Princeton, NJ, USA
Gogul Balakrishnan , NEC Laboratories America, Princeton, NJ, USA
Naoto Maeda , NEC Laboratories America, Princeton, NJ, USA
Aarti Gupta , NEC Laboratories America, Princeton, NJ, USA
ABSTRACT
In industry, software testing and coverage-based metrics are the predominant techniques to check correctness of software. This paper addresses automatic unit test generation for programs written in C/C++. The main idea is to improve the coverage obtained by feedback-directed random test generation methods, by utilizing concolic execution on the generated test drivers. Furthermore, for programs with numeric computations, we employ non-linear solvers in a lazy manner to generate new test inputs. These techniques significantly improve the coverage provided by a feedback-directed random unit testing framework, while retaining the benefits of full automation. We have implemented these techniques in a prototype platform, and describe promising experimental results on a number of C/C++ open source benchmarks.
INDEX TERMS
Iterative closest point algorithm, Concrete, Instruments, Testing, Runtime, Software
CITATION
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta, "Feedback-directed unit test generation for C/C++ using concolic execution", 2013 35th International Conference on Software Engineering (ICSE), vol. 00, no. , pp. 132-141, 2013, doi:10.1109/ICSE.2013.6606559
194 ms
(Ver 3.3 (11022016))