한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

목적 지향 콘콜릭 테스팅

Goal-oriented Concolic Testing

  • 정인상 (한성대학교 컴퓨터공학과) ;
  • 박정규 (한성대학교 컴퓨터공학과)
  • 투고 : 2010.07.05
  • 심사 : 2010.08.31
  • 발행 : 2010.10.15
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이률 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.

Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.

키워드

참고문헌

  1. J. Edvardsson, "A Survey on Automatic Test Data Generation," In Proc. the Second Conf. on Computer Science and Engineering, pp.21-28, 1999.
  2. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
  3. J. Burnim, K. Sen, "Heuristics for Dynamic Test Generation," In the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
  4. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, "CIL: Intermediate Language and Tools for Analysis and transformation of C Programs," In Proc. of Conference on compiler Construction, pp.213-228, 2002.
  5. J. Ferrante, K. Ottenstein, and J. Warren, "The Program Dependence Graph and its Use in Optimization," ACM Trans. Softw. Eng., Methodology, vol.2, no.9, pp.319-349, 1987.
  6. Z. Xu and G. Rothermel, "Directed Test Suite Augmentation," In Proc. of 16th APSEC, pp. 406-413, 2009.
  7. L. Bottaci, "Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithm," In Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'02), pp.1337-1342, NY, USA, July 2002.