과제 상세정보
목록SW를 진단하는 분석기를 사용자 요구에 맞춰 자동으로 합성하는 프레임워크 개발
작성자
관리자
조회수
57
등록일
2024-05-21
사업 정보
| 내역사업 | 중견연구(총연구비5억 초과) |
|---|
과제 기본정보
| 과제명 | SW를 진단하는 분석기를 사용자 요구에 맞춰 자동으로 합성하는 프레임워크 개발 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711110922 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 계속과제 | 이전연도 과제번호 | 1711083113 | ||
| 과제수행연도 | 2020 | 총연구기간 | 2017-03-01 ~ 2022-02-28 | 당해연도 연구기간 | 2020-03-01 ~ 2021-02-28 |
요약 정보
| 연구목표 | 본 연구가 지향하는 최종 목표는 사용자의 요구에 특화되어 SW를 진단하는 분석기를 자동으로 합성하는 프레임워크를 개발하는 선도적 연구를 수행하고 도구를 구현하여, 비전문 SW 개발자도 쉽고 편리하게 SW 품질을 검사할 수 있어 개발자의 생산성과 편의성 향상 및 SW 품질을 획기적으로 개선시키는 것임.본 연구에서는 이 문제를 세 가지 문제로 나누어 해결하려고... | ||
|---|---|---|---|
| 연구내용 | IoT 시대 SW는 다양한 언어 특성을 활용하여 언어 간의 상호 작용을 통해 기존 SW에서 제공하지 못하던 새로운 기능과 경험을 제공하지만, 기존 분석기법은 특정 언어 및 문제 도메인에 특화되어 있어서 새로운 시대의 SW 분석에 한계가 있음. 다양한 분석기법을 동시에 적용하여 새로운 SW를 분석할 경우, 이렇게 분석하는 분석기의 의미가 엄밀하게 정의되지 않... | ||
| 기대효과 | 본 연구에서 개발하는 사용자의 요구에 맞게 다양한 분석 기법을 취사선택하여 새로운 분석기를 자동으로 합성해내는 프레임워크는 세계적인 대학과 연구기관에서도 현재까지 시도해보지 못했던 독창적이고 어려운 문제임. SW 개발자의 저변이 확대되고, 누구나 쉽게 배우고 사용할 수 있는 JavaScript와 같은 프로그래밍 언어로 품질 관리가 되지 않은 공개 소스 코드... | ||
| 키워드 | 프로그램 분석,정적 분석,동적 분석,프로그램 합성,분석 프레임워크,결함 검출,사용성 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 소프트웨어 > 달리 분류되지 않는 소프트웨어 |
| 주력산업분류 | 적용분야 | 기타 산업 | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 이학 |
사업비
| 국비 | 200,000,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||