COLT: Extending CONCOLIC testing to measure LCSAJ Coverage

In this paper, we propose a method for generating efficient test cases, that ensure the adequacy of software testing using appropriate software metrics such as Branch Coverage and Linear Code Sequence And Jump (LCSAJ). Now a days, automated testing is essential for software testing industries which saves time as well as cost. CONCOLIC testing generates test cases, these test cases can compute code coverage in an automated manner. Since, there exists no such concolic testing approach that computes LCSAJ, therefore in this paper we extend concolic testing to measure LCSAJ coverage. We have used CREST tool to generate test cases. We have developed LCSAJ coverage Analyzer that accepts test cases generated by CREST along with the input C program, and produces LCSAJ Coverage percentage. We have conducted our experiment for fifteen C programs. On an average, for fifteen C programs, we achieved 76.04% of LCSAJ coverage in 3.887 secs of executional time.