Kunwoo Park  Joohyun Lee  Hyunggon Song  Kyu Tae Cho  Yunho Kim  Moonzoo Kim

10.5626/JOK.2019.46.9.926

Concolic Testing symbolic modeling automatic test case generation search strategy logic

To improve SW quality of defense weapon system, automatic and systematic generation of test cases is necessary; however, that is not the case in the traditional practice of labor-intensive and manual SW testing. The paper applies concolic testing to the defense weapon system SW, effectively generates test cases that achieve high coverage, and discovers defects which contributes to the improvement in SW quality. Also, two methods are proposed using 4 search strategies in concolic testing and using LIA logic, to increase the efficiency of concolic testing for a program with high complexity. In addition, a symbolic modeling method is proposed as an example to extend concolic testing for practitioners.