Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE

—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which accelerates the adoption of open source applications in the smartphone platforms. However, developers often do not know the detail of open source applications, because they did not develop the applications themselves. Thus, it is a challenging problem to test open source applications effectively in short time. This paper reports our experience of applying concolic testing technique to test libexif, an open source library to manipulate EXIF information in image files. We have demonstrated that concolic testing technique is effective and efficient at detecting bugs with modest effort in industrial setting. We also compare two concolic testing tools, CREST-BV and KLEE, in this testing project. Furthermore, we compare the concolic testing results with the analysis result of the Coverity Prevent static analyzer. We...

• Type: Journal
• Year: 2012
• Where: ICSE
• Authors: Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang
• Keywords: Coverity, ICSE 2012, Open Source Library, Rich Functionality, Software Engineering