초록 ▼

□ 연구개요
디버깅(Debugging)은 소프트웨어에 존재하는 결함의 위치를 식별(Fault Localization: 이하, FL)하고 이를 수정하는 작업(Fixing, Repair)으로, 소프트웨어 개발 비용의 약 50% 이상을 차지할 정도로 매우 중요한 작업. 이중 FL 기술은 지난 20년간의 많은 연구를 통해 상당 부분 자동화가 이루어졌지만, 프로그램 수정은 기술적 한계로 인해 여전히 수동적으로 이루어지고 있음. 본 연구는 5년의 연구 기간을 통해 자동 프로그램 수정(Auto Program Repair: 이하, APR)에

□ 연구개요
디버깅(Debugging)은 소프트웨어에 존재하는 결함의 위치를 식별(Fault Localization: 이하, FL)하고 이를 수정하는 작업(Fixing, Repair)으로, 소프트웨어 개발 비용의 약 50% 이상을 차지할 정도로 매우 중요한 작업. 이중 FL 기술은 지난 20년간의 많은 연구를 통해 상당 부분 자동화가 이루어졌지만, 프로그램 수정은 기술적 한계로 인해 여전히 수동적으로 이루어지고 있음. 본 연구는 5년의 연구 기간을 통해 자동 프로그램 수정(Auto Program Repair: 이하, APR)에 장애가 되는 기술적 문제점을 분석, 해결하고, 지난 수년간의 본 연구팀의 FL연구 성과를 기반으로 전체 디버깅 과정의 통합자동화 프레임워크을 개발하였음.

□ 연구 목표대비 연구결과
1. 오픈소스 소프트웨어 유사도 분석 기반 유효패치 생성 기술 (100% 완료)
- 프로그램 유사도 분석을 위한 정보검색 기술 개발
- 버그 수정 패턴 추출을 위한 AST 분석 기술 개발
- 패치 생성을 위한 오퍼레이터 변형 기술 개발
2. 자동 프로그램 수정 기법의 전반적인 효율 향상 및 유효패치 생성 기술 (100% 완료)
- 프로그램 유사도 분석을 위한 정보검색 기술 개발
- 버그 수정 패턴 추출을 위한 AST 분석 기술 개발
- 패치 생성을 위한 오퍼레이터 변형 기술 개발
3. 정보검색 기반 결함 추적 정확도 향상 및 옳은 패치 검증을 위한 패치 특징 분석을 통한 효율 향상 (100% 완료)
- 프로그램 유사도 분석을 위한 정보검색 기술 개발
- 버그 수정 패턴 추출을 위한 AST 분석 기술 개발
- 패치 생성을 위한 오퍼레이터 변형 기술 개발
4. 딥러닝기반 패치 생성 패턴 학습 및 응용을 통한 APR 성능 개선 (100% 완료)
- 프로그램 유사도 분석을 위한 정보검색 기술 개발
- 버그 수정 패턴 추출을 위한 AST 분석 기술 개발
- 패치 생성을 위한 오퍼레이터 변형 기술 개발
5. 디버깅 프로세스 통합자동화 프레임워크 개발 (100% 완료)
- 프로그램 유사도 분석을 위한 정보검색 기술 개발
- 버그 수정 패턴 추출을 위한 AST 분석 기술 개발
- 패치 생성을 위한 오퍼레이터 변형 기술 개발

□ 연구개발성과의 활용 계획 및 기대효과(연구개발결과의 중요성)
- 자동 프로그램 수정 프레임워크 활용 사례 및 성과 추적을 통해 실제 산업현장에서의 유용성 확인 및 피드백 반영
- 이를 기반으로 새로운 기술 및 방법론을 탐색하여 기존 기능 향상 및 새로운 기능 추가
- 본 연구 결과를 통해 자동 유지보수 기술의 수준 향상 및 고품질 소프트웨어 생산성 향상
- 관련 기술의 저변 확대 및 고신뢰 소프트웨어 기반의 사회 안전망 구축에 기여

(출처 : 연구결과 요약문 2p)

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 2
• 목차 ... 3
• 1. 연구개발과제의 개요 ... 4
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 5
• 3. 연구개발과제의 수행 결과 및 목표 달성 수준 ... 11
• 1) 연구개발결과 ... 11
• 2) 세부 정량적 연구개발성과 ... 16
• 3) 목표 달성 수준 ... 16
• 4. 연구개발성과의 관련 분야에 대한 기여 정도 (연구개발결과의 중요성) ... 18
• 5. 연구개발성과의 관리 및 활용 계획 ... 18
• 6. 자체점검표 ... 19
• 7. 참고문헌 ... 19
• 끝페이지 ... 42