과제 상세정보
목록프로그래밍 환경과 상호작용하며 학습하는 정적 분석 시스템
작성자
관리자
조회수
46
등록일
2024-05-22
사업 정보
| 내역사업 | 우수신진연구 |
|---|
과제 기본정보
| 과제명 | 프로그래밍 환경과 상호작용하며 학습하는 정적 분석 시스템 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711133665 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2021 | 총연구기간 | 2021-03-01 ~ 2024-02-29 | 당해연도 연구기간 | 2021-03-01 ~ 2022-02-28 |
요약 정보
| 연구목표 | 본 연구에서는 다양한 프로그래밍 환경과 끊임없이 상호작용하며 학습하는 정적 분석 시스템 개발을 목표로 한다. 지난 수 십 년간 정적 분석 기술은 비약적으로 발전해 왔고, 소프트웨어의 품질 향상을 위한 보편적이고 필수적인 요소로 자리매김했다. 이처럼 정적 분석의 대중화가 활발히 이루어지고 있지만, 아직까지 근본적으로 해결하지 못한 문제점 중 하나는 사용성이다... | ||
|---|---|---|---|
| 연구내용 | 다양한 프로그래밍 환경과 효과적으로 상호작용을 하는 정적 분석 시스템을 위해서 여기서는 그래프 기반 확률 모델인 베이지안 네트워크를 이용한다. 정적 분석의 결과, 동적 분석의 결과, 이전 버전 분석의 결과, 과거의 사용자 응답 (즉, 정적 분석이 도출한 오류 보고의 진위 여부)를 베이지안 네트워크로 통합한 뒤 확률적 추론을 통해 확률 순으로 오류 보고서를... | ||
| 기대효과 | 누구나 손쉽게 이용할 수 있는 정적 분석 시스템이 완성될 경우 소프트웨어 환경에 미칠 기대 효과는 클 것으로 예상한다. 우선 나날이 증가하는 사이버 보안 위협에 선제적으로 대응할 수 있을 것이다. 여전히 수많은 소프트웨어 보안 취약점이 개발단계에서 미처 제대로 검출되지 못한 채 세상에 공개되고 있다. 이 연구 결과물은 정적 분석 사용자의 부담은 줄이고 오류... | ||
| 키워드 | 정적 분석,소프트웨어 오류 검출,상호작용,확률 모델,학습 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 정보이론 > 프로그래밍 언어/자연어 처리 |
| 주력산업분류 | 적용분야 | 제조업(전자부품,컴퓨터,영상,음향및통신장비) | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 142,838,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||