초록 ▼

연구개요
○ 다양한 목적으로 개발한 다양한 SW 분석기법을 체계적으로 정리하고 그 의미를 엄밀하게 정의함. 광범위하게 사용되고 있는 C, Java, JavaScript 등의 프로그래밍 언어로 작성된 프로그램 분석기법의 병합 알고리즘을 제시함.
○ 프로그램 분석기법의 최종 목표는 안전성, 정확성, 확장성 사이 균형을 맞추면서 세 가지 성질 모두를 향상시키는 것이므로, 다양한 분석기법을 조합하고 평가 및 비교하여, 사용자의 요구에 가장 적합한 분석기를 합성하는 도구를 제안함.
○ 분석기법에 대한 학술적인 사전 지식 없이

연구개요
○ 다양한 목적으로 개발한 다양한 SW 분석기법을 체계적으로 정리하고 그 의미를 엄밀하게 정의함. 광범위하게 사용되고 있는 C, Java, JavaScript 등의 프로그래밍 언어로 작성된 프로그램 분석기법의 병합 알고리즘을 제시함.
○ 프로그램 분석기법의 최종 목표는 안전성, 정확성, 확장성 사이 균형을 맞추면서 세 가지 성질 모두를 향상시키는 것이므로, 다양한 분석기법을 조합하고 평가 및 비교하여, 사용자의 요구에 가장 적합한 분석기를 합성하는 도구를 제안함.
○ 분석기법에 대한 학술적인 사전 지식 없이 쉽고 편리하게 SW를 진단하는 분석 프레임워크를 개발함.

연구 목표대비 연구결과
○ 연구 목표를 초과 달성한 연구결과로 학술적으로 탁월한 연구 실적을 거두었음.
○ 프로그래밍 언어 분야의 최우수 국제 학술대회인 POPL 2019, 유일한 SCI 저널인 TOPAS 2018을 포함하여, 소프트웨어 공학 분야의 최우수 국제 학술대회 네 개를 모두 휩쓸어, ASE 2017, ICSE 2019, ISSTA 2019, ICSE 2020, ASE 2020 두 편, ICSE 2021 두 편, FSE 2021, ASE 2021에 논문을 발표하는 쾌거를 거두었음. 이 중 ASE 2020과 ICSE 2021 논문 두 편은 ACM SIGSOFT Distinguished Paper Award를 수상 했음. 또한, 컴퓨팅 분야의 SCI 저널인 ACM Computing Surveys 2017, 2021, IEEE Software 2019에 논문을 게재하였음.

연구개발성과의 활용 계획 및 기대효과 (연구개발결과의 중요성)
○ 연구개발성과의 결과물은 최우수 국제 학술대회 논문으로 발표되었고, 특허 1편 등록, 특허 2편 출원 중이며, 모든 SW를 GitHub 프로젝트로 개발하여서, 전 세계 산업계 및 학계에 소스코드를 공개함.
○ 이러한 탁월한 연구실적을 인정받아, 프로그래밍 언어 분야 우수 국제 학술대회인 ICFP 2021, 소프트웨어 공학 분야 최우수 국제 학술대회인 ISSTA 2022의 General Chair를 맡아 국제적 리더십을 발휘하고 있음. 이러한 국제적 학술 리더 활동을 통해서 보유하게 된 국제적 인적 네트워크를 활용하여 국제 공동연구를 수월하게 수행할 수 있는 기반을 마련할 뿐 아니라, 본 연구진의 연구 성과를 국제적으로 홍보할 수 있음.
○ 연구개발성과를 활용해, <다각화된 프로그래밍 언어로 작성된 SW를 위한 다양한 분석 도구를 자동으로 생성하는 프레임워크 개발>이라는 제목의 중견 신규과제를 수행하고 있음.
○ JavaScript 프로그래밍 언어를 정의하고 관리하는 세계적인 Ecma International TC39 그룹과 함께 JavaScript의 공식 명세서인 ECMAScript의 공식 개발 단계를 분석하고, 본 연구개발성과를 활용하여 ECMAScript 개발 단계를 자동화하는 데에 활용할 계획임.
○ 연구개발성과를 활용하여, 기계학습, 블록체인, 메타버스 등 하루가 다르게 새롭게 개발되는 소프트웨어에 빠르게 대응하여, 차세대 소프트웨어 세상을 선도하고 더 안전하고 효율적인 소프트웨어 개발을 이끌어갈 수 있으리라 기대함.

(출처 : 요약문 2p)

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 2
• 목차 ... 3
• 1. 연구개발과제의 개요 ... 4
• 1) 연구개발의 목적 ... 4
• 2) 연구개발의 필요성 ... 4
• 3) 연구가설 및 최종목표 ... 5
• 4) 연구범위 ... 5
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 6
• 1) 이론적·실험적 접근 방법 ... 6
• 2) 연구개발과제 수행 과정 및 내용 ... 6
• 3. 연구개발과제의 수행 결과 및 목표 달성 수준 ... 9
• 1) 정성적 연구개발성과(연구개발결과) ... 9
• 2) 세부 정량적 연구개발성과 ... 9
• 3) 목표 달성 수준 ... 10
• 4) 목표 미달 시 원인 분석 ... 16
• 4. 연구개발성과의 관련 분야에 대한 기여 정도(연구개발결과의 중요성) ... 17
• 1) 학술적 중요성 ... 17
• 2) 경제·산업적 중요성 ... 17
• 5. 연구개발성과의 관리 및 활용 계획 ... 18
• 1) 연구개발성과의 관리 ... 18
• 2) 연구개발성과의 활용 계획 ... 18
• 6. 참고문헌 ... 18
• 붙임1. 세부 정량적 연구개발성과 ... 19
• 붙임2. 연구책임자 대표적 연구실적 및 증빙(요약문 및 사본) ... 26
• 끝페이지 ... 34