과제 상세정보
목록프로그램 상태 조건식을 이용한 설명 가능한 결함 위치 식별 기술
작성자
관리자
조회수
96
등록일
2024-05-22
사업 정보
| 내역사업 | (유형1-1)중견연구 |
|---|
과제 기본정보
| 과제명 | 프로그램 상태 조건식을 이용한 설명 가능한 결함 위치 식별 기술 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711144595 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2021 | 총연구기간 | 2020-03-01 ~ 2023-02-28 | 당해연도 연구기간 | 2021-03-01 ~ 2022-02-28 |
요약 정보
| 연구목표 | 본 연구는 테스트 실행 중 관찰한 프로그램 내부 상태에 대한 동적 실행 정보를 이용해 단순히 의심되는 위치의 순위만을 제공하는 것이 아니라 프로그램 오류의 원인에 대한 설명을 함께 제공하는 결함 위치 식별 기술을 개발하는 것을 목표로 한다. 디버깅에 핵심적인 역할을 하는 결함 위치 식별 기술 및 프로그램 의존성 분석의 대상을 프로그램의 구조적 요소에서 프로... | ||
|---|---|---|---|
| 연구내용 | 본 연구는 결함 위치 식별의 결과를 개발자에게 효율적으로 전달 할 수 있도록 확장한 설명 가능한 결함 위치 식별 (Explainable Fault Localization) 기술을 개발하는 것을 목표로 한다. 결함의 원인에 대해서 프로그램의 특정 위치만을 결과로 내 보이는 기존의 스펙트럼 기반 결함 위치 식별 기술들에 비교해 [1], 본 연구에서는 그림 1의... | ||
| 기대효과 | 본 연구가 목표로 하는 설명 가능한 결함 위치 식별 기술은 기존에 시도된 바 없는 도전적인 목표로 큰 학문적 중요성을 가진다. 유지 보수와 관련된 버그 담당 개발자 자동 선정 기술이나 앞으로의 잠재 성장 가능성이 높이 평가되는 자동 결함 패칭 등의 기술을 하나로 묶는 핵심 기술이 바로 결함 자체의 원인 분석을 돕는 결함 위치 식별 기술이다. 정확하고 효율... | ||
| 키워드 | 결함 위치 식별,소프트웨어 테스팅,자동 디버깅 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 소프트웨어 > S/W 솔루션 |
| 주력산업분류 | 적용분야 | 출판, 영상, 방송통신 및 정보서비스업 | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 100,000,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||