Using concolic testing to generate test cases for software product line

Abstract

It is important to test products created from software product line as products that have not been verified may potentially cause substantial financial losses or even human casualties. There are many testing methods being used to test a software product family, but there is no research yet that uses Concolic testing. Concolic testing is a testing method for single products that automatically generates program inputs by using both concrete and symbolic execution. Because Concolic testing focuses on detecting bug in real-life software and excels over other state-of-the-art testing techniques in code coverage, it will be useful when used for testing software product families. This paper introduces a method that uses Concolic testing to efficiently generate test cases for a software product family, with experimental results showing a significant number of test cases being reused.