결합된 프로그램 분석 기술: 체계적 매핑 연구

요약

본 논문은 정적 분석과 동적 분석을 결합하여 소프트웨어 신뢰성을 높이는 프로그램 분석 기술의 통합 방식에 대한 체계적 매핑 연구를 다룹니다. 248개의 주요 연구를 분석하여 시너지 효과, 분석 간 워크플로, 상호작용 스키마를 기준으로 한 독창적인 분류 체계를 제안합니다. 이를 통해 연구자와 실무자가 새로운 분석 프레임워크를 설계할 수 있는 개념적 기반을 제공합니다.

핵심 포인트

• 정적 및 동적 분석의 결합은 정밀도, 커버리지, 통찰력 측면에서 시너지 효과를 창출함
• 시너지 효과, 워크플로, 매핑 함수를 기준으로 한 새로운 분류 체계(Taxonomy) 고안
• 248개의 주요 연구를 통해 결합된 프로그램 분석 기술의 패턴과 공통점 분석
• 새로운 분석 프레임워크 설계를 위한 연구자 및 실무자용 개념적 프레임워크 제공