국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 


46권  9호, pp. 926-933, 9월  2019
10.5626/JOK.2019.46.9.926


PDF

  요약

국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

K. Park, J. Lee, H. Song, K. T. Cho, Y. Kim, M. Kim, "Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System," Journal of KIISE, JOK, vol. 46, no. 9, pp. 926-933, 2019. DOI: 10.5626/JOK.2019.46.9.926.


[ACM Style]

Kunwoo Park, Joohyun Lee, Hyunggon Song, Kyu Tae Cho, Yunho Kim, and Moonzoo Kim. 2019. Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System. Journal of KIISE, JOK, 46, 9, (2019), 926-933. DOI: 10.5626/JOK.2019.46.9.926.


[KCI Style]

박건우, 이주현, 송형곤, 조규태, 김윤호, 김문주, "국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성," 한국정보과학회 논문지, 제46권, 제9호, 926~933쪽, 2019. DOI: 10.5626/JOK.2019.46.9.926.


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr