기호 실행의 성능 극대화를 위한 최적의 시드 선택 기법 


52권  7호, pp. 572-578, 7월  2025
10.5626/JOK.2025.52.7.578


PDF

  요약

기호 실행은 테스트 케이스를 효과적으로 생성하여 프로그램의 실행 경로를 최대한 넓게 탐색하고자 하는 유망한 소프트웨어 테스팅 기술이다. 그러나 경로-조건식 풀이에 사용되는 높은 비용은 기호 실행의 대표적 한계로 지적된다. 이를 극복하기 위한 방안 중 하나는, 이미 생성된 테스트 케이스를 기호 실행 도구의 시드 입력으로 재사용하여 그 도구의 경로-조건식 풀이 횟수를 줄이는 것이다. 이 접근법의 효과성은 어떤 테스트 케이스를 시드 입력으로 사용할지에 따라 결정된다. 본 논문에서는 생성된 테스트 케이스들을 군집화하고 각 군집들의 특성을 기반으로 가장 잠재력이 높은 군집을 골라 그 군집 내 최적의 시드 입력을 선택하는 기법을 통해 기호 실행의 분기 커버리지 성능을 높이는 방법을 제안한다. 그 결과, 제안한 기법은 동일한 테스팅 시간동안 기존 기호 실행 도구보다 평균적으로 42.0%의 더 높은 분기 커버리지를 달성하는 데 성공하였다.


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


  논문 참조

[IEEE Style]

J. Lee and S. Cha, "An effective Seed Selection Method for Maximizing the Performance of Symbolic Execution," Journal of KIISE, JOK, vol. 52, no. 7, pp. 572-578, 2025. DOI: 10.5626/JOK.2025.52.7.578.


[ACM Style]

Jaehyeok Lee and Sooyoung Cha. 2025. An effective Seed Selection Method for Maximizing the Performance of Symbolic Execution. Journal of KIISE, JOK, 52, 7, (2025), 572-578. DOI: 10.5626/JOK.2025.52.7.578.


[KCI Style]

이재혁, 차수영, "기호 실행의 성능 극대화를 위한 최적의 시드 선택 기법," 한국정보과학회 논문지, 제52권, 제7호, 572~578쪽, 2025. DOI: 10.5626/JOK.2025.52.7.578.


[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