정보과학회논문지 (Journal of KIISE)
Current Result Document :
| 한글제목(Korean Title) |
국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 |
| 영문제목(English Title) |
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System |
| 저자(Author) |
박건우
이주현
송형곤
조규태
김윤호
김문주
Kunwoo Park
Joohyun Lee
Hyunggon Song
Kyu Tae Cho
Yunho Kim
Moonzoo Kim
|
| 원문수록처(Citation) |
VOL 46 NO. 09 PP. 0926 ~ 0933 (2019. 09) |
한글내용
(Korean Abstract) |
국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다.
|
영문내용
(English Abstract) |
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.
|
| 키워드(Keyword) |
Concolic 테스팅
심볼릭 모델링
테스트 자동 생성
탐색 전략
로직
concolic testing
symbolic modeling
automatic test case generation
search strategy
logic
|
| 파일첨부 |
PDF 다운로드
|
