PL/SQL 코드에서 변경 영향을 검출하는 오염 분석기 설계: 요약 해석을 기반으로

Abstract

오염 분석을 통해 PL/SQL 코드로 작성된 삼성 반도체 생산공정 소프트웨어의 변경 영향을 실행 전에 빠트림 없이 감지하는 방법을 제안한다. 이 방법은 요약 해석 프레임워크에 기반하여 엄밀한 수학적 이론을 바탕으로 하면서 구현이 간단하고 성능과 정확도 튜닝도 용이하다. 본 연구에서는 코드 변경 영향을 오염 전파로 정의하고, 대상 언어인 PL/SQL을 분석에 용이한 CFG언어로 변환하여 실제 실행 의미와 이를 요약한 요약 실행 의미를 정의하였고, 이를 바탕으로 유한 시간 내에 변경 영향 지점을 빠트림 없이 찾아내는 분석기를 설계하였다. 개념 검증을 위해 설계 명세를 준수하는 간단한 분석기를 구현하여 실험하였으며 6개 대표 테스트 케이스에 대해 분석기가 변경 영향을 올바르게 찾아냄을 확인할 수 있었다.