[논문 리뷰] Automatic Software Repair: a Bibliography

Martin Monperrus|arXiv (Cornell University)|2018. 07. 02.

Software Reliability and Analysis Research참고 문헌 144인용 수 61

한 줄 요약

자동 소프트웨어 수리에 대한 포괄적 설문조사와 주석이 달린 참고문헌으로, 소프트웨어 공학, 신뢰성, OS, 프로그래밍 언어, 보안을 아우르는 행동적 수리와 상태 수리를 다룹니다. 수리 기술을 오라클과 버그 분류에 따라 분류합니다.

ABSTRACT

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.

연구 동기 및 목표

• 소프트웨어 공학, 신뢰성, 운영 체제, 프로그래밍 언어, 보안 등 여러 커뮤니티에 걸친 자동 소프트웨어 수리에 대한 통합 개요를 제공한다.
• 행동적 수리와 상태 수리에 따른 수리 기법 분류 및 사용된 오라클의 유형에 따른 분석을 수행한다.
• 핵심 개념, 수리 연산자, 실증적 결과를 요약하여 연구자와 실무자를 안내한다.
• 주요 연구의 구조화된 참고문헌을 제공하고 용어 변형을 표시하여 분야를 통합한다.

제안 방법

• 자동 수리 문헌에 대한 조사와 주석이 달린 참고문헌.
• 수리 유형(행동적 vs. 상태) 및 오라클에 따른 수리 방법의 분류.
• 수리 연산자, 수리 템플릿, 수리 모델의 설명.
• 다른 커뮤니티의 아이디어가 어떻게 수렴하는지 보이기 위한 도메인 간 매핑.
• 실증적 및 비실증적 연구 및 평가 관행에 대한 논의.

실험 결과

연구 질문

• RQ1 자동 소프트웨어 수리의 주요 접근 방식은 무엇이며 수리 유형과 오라클에 따라 어떻게 다르는가?
• RQ2 문헌 전체에서 제안된 수리 연산자, 템플릿, 모델은 무엇인가?
• RQ3 행동적 수리와 상태 수리는 어떻게 관련되어 있으며 그 효과를 지지하는 실증적 증거는 무엇인가?
• RQ4 다양한 도메인(SE, 신뢰성, OS, 언어, 보안)이 자동 수리에 어떻게 기여해 왔는가?
• RQ5 자동 수리에 대한 포괄적 참고문헌을 편찬하는 과정에서 식별된 도전과제와 미해결 문제는 무엇인가?

주요 결과

• 문헌은 행동적 수리(코드 수정)와 상태 수리(런타임/상태 변경)를 포괄한다.
• AST 변이, 선행조건, 템플릿 기반 수정 등을 포함한 다양한 수리 연산자와 템플릿이 존재한다.
• 테스트 스위트 기반 수리, 선행/후행 조건, 추상 행동 모델은 오라클을 명세하는 일반적인 패러다임이다.
• 정적 분석, 충돌 입력, 도메인 특화 수리는 전통적 테스트 기반 수리를 넘어 범위를 확장한다.
• 소프트웨어 공학, 신뢰성, OS, 프로그래밍 언어, 보안 커뮤니티 간의 교차 학문적 융합이 있다.
• 본 연구는 통일된 용어를 제공하고 수리 개념의 다양한 변형(수리, 패치, 수정, 치유, 복구 등)을 명확히 한다.