내장형 소프트웨어 모듈의 추상화를 위한 실행 로그기반 점증적 Mock 자동생성

초록

동적 테스트, 정적분석, 정형 모델 검증 등, 소프트웨어의 검증 기법을 단위 모듈에 적용하는 데에 있어서 가장 큰 걸림돌 중 하나는, 소스 코드가 오픈되어 있지 않은 외부모듈에서 제공하는 서비스를 활용해야 할 경우가 많다는 것이다. 가장 많이 활용되는 방식은 검증 대상 소프트웨어가 사용하는 외부모듈들을 수작업으로 스텁 함수로 대체하여 검증을 실시하는데, 이때 최소한의 정보를 사용하여 스텁함수를 작성하는 데에 소요되는 비용과 낮은 정확도 등이 단위 모듈 검증의 효율을 낮추는 원인이 되고 있다. 본 연구에서는 Program-by-Example (PBE) 프로그램 합성기법을 활용하여 외부모듈의 실행 로그로부터 Mock을 자동생성하는 방식을 제안하고 그 효과를 실험적으로 고찰한다. 제안하는 기법은 소스 코드나 명세서의 부재로 정답을 알 수 없는 상황에서 정확도가 높은 Mock을 생성하기 위한 점증적 Mock 합성기법으로써, 실행 로그 만으로도 비교적 높은 정확도의 Mock을 효율적으로 자동생성하는 것이 가능함을 보인다.

키워드