초록 ▼

□ 연구개요
● 연구 배경: 소프트웨어 오류 검증을 위한 정적 분석 기술의 수요 증가
● 현재 기술의 한계: 1) 안전하고, 정확하게 대형 소프트웨어를 분석할 수 있는 고성능 정적 분석 기술의 부재. 2) 현존하는 정적 분석 도구들은 모두 제한적인 성능을 가짐
● 연구 목표: 1) 고성능 정적 분석을 위한 핵심 원천 기술 개발. 2) 고성능 소프트웨어 오류 검증 도구 개발 및 배포를 통한 실용성 증명
● 기대효과: 1) 현재 정적 분석 기술의 수준을 한단계 높이는 발판 마련. 2) 소프트웨어 오류 검증 기술 보

□ 연구개요
● 연구 배경: 소프트웨어 오류 검증을 위한 정적 분석 기술의 수요 증가
● 현재 기술의 한계: 1) 안전하고, 정확하게 대형 소프트웨어를 분석할 수 있는 고성능 정적 분석 기술의 부재. 2) 현존하는 정적 분석 도구들은 모두 제한적인 성능을 가짐
● 연구 목표: 1) 고성능 정적 분석을 위한 핵심 원천 기술 개발. 2) 고성능 소프트웨어 오류 검증 도구 개발 및 배포를 통한 실용성 증명
● 기대효과: 1) 현재 정적 분석 기술의 수준을 한단계 높이는 발판 마련. 2) 소프트웨어 오류 검증 기술 보편화를 통한 안전한 소프트웨어 중심 사회 구축에 이바지

□ 연구 목표대비 연구결과
● 당초 연구 목표: 1) 고성능 정적 분석 원천 기술 확보 및 2) 이를 활용한 실용적 도구 개발
● 목표 대비 연구 결과:
1) 논문 성과: 10편 이상의 국제학술논문을 발표하여 고성능 정적 분석을 위한 원천기술을 확보함. 컴퓨터 소프트웨어 분야에서 가장 권위있는 학술대회 및 학술지 논문 7편을 포함하여 총 13편의 논문을 발표함.
2) 실용적 도구 개발: 개발한 원천기술에 기반한 다양한 오픈소스 도구 개발을 하였음. 잘 알려진 오픈소스 프로그램 분석 도구들인 Sparrow, CREST, Doop등의 도구들을 개선하는 기술을 논문으로 발표하였고 이를 오픈소스로 공개하여 향후 학계 및 관련 커뮤니티에서 개발한 기술을 재사용 가능하도록 하였음.
3) 인력 양성: 총 2명의 석사를 배출하였음. 두명 모두 프로그래밍 언어 분야 최우수 학술대회에 주저자로 논문을 발표하였음.

□ 연구개발결과의 중요성
● 기존 오류 검출 및 검증 기술의 한계 극복: 정적 분석은 소프트웨어 오류 문제를 해결할 수 있는 기반 기술중 하나임. 본 과제의 연구결과는 정적 분석 분야의 핵심 문제중 하나를 해결하는데 도움을 주어 결과적으로 오류 검출 및 검증 분야발전에 이바지하게됨.
● 소프트웨어 품질 향상 및 경쟁력 제고에 기여: 본 과제에서 개발한 정적 분석 도구들은 커뮤니티에 무상으로 공개함으로써 소프트웨어 오류들을 사전에 발견하고 품질을 향상하는데 도움이 됨.

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

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 2
• 목차 ... 3
• 1. 연구개발과제의 개요 ... 4
• 가. 연구의 개요 ... 4
• 나. 연구의 최종 목표 ... 4
• 다. 연구의 내용 ... 4
• 라. 연구의 필요성 및 중요성 ... 5
• 2. 연구수행내용 및 연구결과 ... 6
• 가. 연구목표 달성 수준 요약 ... 6
• 나. 연차별 연구의 목표 및 달성 수준 ... 7
• 다. 연차별 대표성과 목표 ... 7
• 라. 연차별 세부 성과 목표 ... 8
• 마. 연구 성과 목표 수준 ... 8
• 바. 오류 자동 검증 도구 개발 성과 ... 9
• 3. 연구개발결과의 중요성 ... 10
• (1) 학술논문성과의 우수성 ... 10
• (2) 연구결과가 가지는 의미 (최우수 학술회의 논문성과 소개) ... 11
• 4. 참고문헌 ... 13
• 5. 연구성과 ... 13
• 대표적 연구실적 ... 15
• 끝페이지 ... 30