초록 ▼

□ 연구개발 목표
본 연구는 스마트디바이스나 IoT 등에 널리 쓰이는 풀스택 SW의 높은 복잡도로 인해 발생하는 오류를 자동으로 검출하고 디버깅하는 기술을 개발한다.
① 풀스택 SW는 여러 계층으로 구성되어 있으며, 각 계층의 특성에 적합한 다수의 프로그래밍 언어로 작성됨
② 풀스택 SW는, 여러 계층의 서로 다른 프로그래밍 언어로 작성된 다양한 SW 컴포넌트들 사이의 복잡한 상호작용을 통해 동작하므로, 오류 검출 및 디버깅의 난이도가 높음
③ 따라서 개발자가 수작업으로 테스트 케이스를 만들고 디버깅하는 기존의

□ 연구개발 목표
본 연구는 스마트디바이스나 IoT 등에 널리 쓰이는 풀스택 SW의 높은 복잡도로 인해 발생하는 오류를 자동으로 검출하고 디버깅하는 기술을 개발한다.
① 풀스택 SW는 여러 계층으로 구성되어 있으며, 각 계층의 특성에 적합한 다수의 프로그래밍 언어로 작성됨
② 풀스택 SW는, 여러 계층의 서로 다른 프로그래밍 언어로 작성된 다양한 SW 컴포넌트들 사이의 복잡한 상호작용을 통해 동작하므로, 오류 검출 및 디버깅의 난이도가 높음
③ 따라서 개발자가 수작업으로 테스트 케이스를 만들고 디버깅하는 기존의 노동집 약적 방식은 풀스택 SW 오류 검출 및 디버깅의 효과/효율이 낮음
본 연구에서는, 풀스택 SW 모델 및 코드를 대상으로, 풀스택 SW의 복잡한 오류들을 효과적이고 효율적으로 검출하고 디버깅하는 기술집약적 지능형 자동화 알고리즘들을 연구한다.

□ 연구개발 내용
본 연구에서는 JavaScript, Java, C 등 다중 언어로 구성된 풀스택 SW를 자동으로 검증하고 디버깅하는 다음 3가지 기술을 연구한다.
① 지능형 자동화를 통한 풀스택 SW 모델기반 검증
⦁ 복잡한 풀스택 SW를 효과적으로 추상화하는 언어 독립적인 모델링 기법
⦁ 모델 검증 효율향상을 위한 지능형 통합 알고리즘 및 조합적 모델 검증 알고리즘
⦁ 풀스택 SW 코드 검증 성능 향상을 위해 모델 기반 테스트 오라클 및 테스트 케이스 생성
② 지능형 자동화를 통한 풀스택 SW 코드 검증
⦁ 다중언어로 작성된 코드들 사이에 발생하는 오류를 검출하는 정적/동적 분석 알고리즘
⦁ 풀스택 SW의 분석 복잡도를 낮추고 오류검출 정확도를 향상한 유닛 테스팅 자동화 알고리즘
⦁ 오류 검출 효과를 향상시키는 SW 파괴 테스팅 알고리즘 (destructive SW testing)
③ 지능형 자동화를 통한 풀스택 SW 디버깅
⦁ 다중언어 풀스택 SW 코드들 간의 의존성 분석 알고리즘
⦁ SW 스택 간 다중언어 환경의 결함 코드 위치를 자동으로 식별하는 알고리즘
⦁ 다중언어 환경에서 식별된 결함을 유전 프로그래밍을 통해 자동으로 수정하는 알고리즘
⦁ 결함 위치 식별 및 결함 수정 효과 및 효율을 향상시키는 테스트 가이드 자동 생성

□ 활용계획 및 기대효과(응용분야 및 활용범위 포함)
① 풀스택 SW 검증 및 디버깅 도구 기술 이전 및 상용화
⦁ 연구 개발한 오픈 소스 SW 검증 및 디버깅 자동화 도구를, SW 테스팅 전문 업체로 기술 이전 또는 공동 상용화하여 실제 산업체 SW 품질 향상 기대
② 산학 연구를 통해 개발 기술을 산업체로 전파 및 피드백 수집
⦁ 국내 풀스택 SW 개발 기업과 SW 검증 및 디버깅 산학 연구 수행
⦁ 연구 개발 결과가 실제 산업체의 문제를 얼마나 잘 해결하는지 평가하고, 수집된 피드백을 바탕으로 연구를 개선하여 연구 결과 실용성 확대
③ 대학, 대학원, 업체 교육을 통한 풀스택 SW 검증 및 디버깅 전문 인력 확산
⦁ 풀스택 SW 검증 및 디버깅 기술 교육을 위한 교과목 개설 및 관련 전문 인력 양성/배출
⦁ 연구기관 및 업체 세미나 교육을 통해, 기존 개발자가 풀스택 SW 검증 및 디버깅 기술을 배우거나, 관련 전문 기술의 유용성을 전파하여 산업 저변 확대

(출처 : 요약문 3p)

목차 Contents

• 표지 ... 1
• 요약문 ... 3
• 목차 ... 5
• 1. 연구개발 목표 및 평가항목별 성과 ... 6
• 1-1. 연구개발 목표 ... 6
• 1-2. 평가항목별 성과 ... 6
• 1-3. 목표 미달 시 원인 분석 ... 17
• 1-4. 연구개발 목표 및 주요내용 변경사항 ... 18
• 1-5. 선정/단계/연차점검의견 ... 18
• 2. 추진내용 및 연구개발결과 ... 22
• 2-1. 추진내용 및 연구개발결과 ... 22
• 2-2. 추진 일정 실적 ... 33
• 2-3. 연구개발성과의 관련 분야에 대한 기여정도 ... 42
• 2-4. 연구개발성과의 관리 및 활용 계획 ... 43
• 2-5. 계획하지 않은 성과 및 관련 분야 기여사항 ... 46
• 3. 당초 연구계획 대비 주요 변경사항 ... 48
• 첨부1. 연구개발 목표의 달성도 증빙 ... 50
• 끝페이지 ... 127