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.
검증되지 않은 제품은 잠재적으로 상당한 재정적 손실이나 인명 피해를 초래할 수 있으므로
소프트웨어 제품 라인에서 생성된 제품을 테스트하는 것이 중요하다. 소프트웨어 제품군을
테스트하기 위해 사용되는 많은 테스트 방법이 있지만 아직 콘콜릭 테스팅을 사용하는 연구는
없다. 콘콜릭 테스팅은 단일 제품에 대한 시험방법으로 콘크리트 엑세큐션과 심볼릭 엑세큐션을
병행하여 프로그램 입력을 자동으로 생성한다. 콘콜릭 테스팅은 실제 소프트웨어에서 버그를
감지하는 데 초점을 두고 다른 최첨단 테스트 기술보다 코드 커버리지가 뛰어나기 때문에
소프트웨어 제품군을 테스트하는 데 유용합니다. 이 논문에서는 콘콜릭 테스팅를 사용하여
소프트웨어 제품군에 대한 테스트 사례를 효율적으로 생성하는 방법을 소개합니다.
