정적 분석과 심볼릭 테스팅을 활용한 융합 검증 (Combined Testing with Static Analysis and Symbolic Testing)

서지정보

· 발행기관 : 한국콘텐츠학회
· 수록지 정보 : 한국콘텐츠학회 논문지 / 22권 / 11호 / 29 ~ 38페이지
· 저자명 : 김은중, 신승철, 조인준

초록

화이트박스 테스팅은 블랙박스 테스팅과 달리 주어진 소스코드를 엄밀하게 분석하고 프로그램 동작을 예측함으로써 소프트웨어 오류를 검출하는 방법이다. 그 중에서 정적 분석은 프로그램 값의 근사 기법을 통해 실제 프로그램 동작을 포용함으로써 오류 여부를 예측할 수 있다. 또한 기호 실행은 각 실행 경로에 대한 경로 조건을 만족하는 프로그램 입력 값을 계산함으로써 오류를 발생하는 테스트 케이스를 생성할 수 있다. 하지만 정적 분석은 오탐이 많이 발생하거나 검출했더라도 결함의 근거를 제시하기 어렵다. 또한 기호 실행은 검출해야 하는 오류의 범위를 제어하거나 검출한 오류의 타입을 특정하기 어렵다. 이런 단점을 서로 보완하기 위해 두 기법의 융합을 고려할 수 있다. 본 논문은 화이트박스 테스팅 기법 중에서 정적 분석과 동적 기호 실행을 융합하여 정적 결함을 동적 오류로서 검산하는 방법과 심볼릭 테스팅을 통해 오류 검출 테스트 케이스를 생성하는 방법을 제시한다. 특히 두 개의 상용 도구를 융합하여 정적 결함의 동적 검산을 수행하면서 동시에 단위 테스트를 통해 테스트 커버리지를 얻어내는 결과를 보여준다. 두 도구를 융합하는 접착제는 정적 분석 결과로부터 결함을 검산할 수 있는 명세 코드를 삽입하는 모듈이다. 정적 결함 정보를 이용하여 해당 타입의 명세 패턴을 대입한 명세 코드를 생성하고 소스코드의 명세 위치에 삽입한다. 삽입된 소스코드를 심볼릭 테스팅 도구를 통해 단위 테스트를 수행하면 정적 결함에 해당하는 동적 오류를 발생시킬 수 있고 이때 얻어낸 테스트 케이스는 오류 검출 테스트 케이스가 된다. 이렇게 하면 정적 분석과 심볼릭 테스팅이 순차로 진행되면서 동시에 정적 결함의 검산과 오류의 근거 제시가 가능하다.

영어초록

White box testing can detect software errors by rigorously analyzing a given source code and anticipating its behaviours unlike black box testing. Static analysis as a white box testing can determine static defects by comprehending actual program behaviours with the approximation of program values. On the other, symbolic execution can generate test cases for dynamic errors by calculating program input which satisfy path conditions for each execution path. However static analysis gives a lot of false positives but shows not any proof for static defects. Symbolic execution cannot only identify types of dynamic errors but control the scope of errors. We need to consider a combined method of these techniques for making up these weaknesses. This paper shows a combined testing of static analysis and dynamic symbolic execution by representing how to validate static defects with dynamic errors and how to generate test cases of errors. We specify a method to combine two commercial tools, static analysis tool and symbolic testing tool which carry out the defects validation and unit testing simultaneously. The glue combining two tools is the instrumentation module by which source code is inserted with specification code for validating the corresponding error specification. The instrumented specification code is generated by being instantiated from specification patterns and inserted in the exact location for the corresponding error. With this instrumented source code the symbolic testing tool can execute unit testing and generate test cases for dynamic errors to validate static defects.

참고자료

· 없음