초록 ▼

□ 연구개발 목표
본 연구는 다중 언어로 작성된 풀스택 SW 코드의 오류를 검출하는 자동 검증 원천 기술을 개발한다. 풀스택 SW 코드는 다음의 문제들로 인해, 기존 SW 코드 검증 기술로는 검증 효과에 한계가 있다.
① 2개 이상의 언어들 사이 인터페이스의 엄밀한 정의 필요
② 개별 SW 컴포넌트 유닛 테스팅 시 부정확한 유닛 환경으로 인한 높은 오탐율
③ SW 컴포넌트들과 공통 프레임워크/라이브러리들과의 복잡한 상호작용 고려 필요
본 연구에서는 이러한 제약점들을 극복하도록 다중언어 정적/동적 분석 기

□ 연구개발 목표
본 연구는 다중 언어로 작성된 풀스택 SW 코드의 오류를 검출하는 자동 검증 원천 기술을 개발한다. 풀스택 SW 코드는 다음의 문제들로 인해, 기존 SW 코드 검증 기술로는 검증 효과에 한계가 있다.
① 2개 이상의 언어들 사이 인터페이스의 엄밀한 정의 필요
② 개별 SW 컴포넌트 유닛 테스팅 시 부정확한 유닛 환경으로 인한 높은 오탐율
③ SW 컴포넌트들과 공통 프레임워크/라이브러리들과의 복잡한 상호작용 고려 필요
본 연구에서는 이러한 제약점들을 극복하도록 다중언어 정적/동적 분석 기술, 정확도 높은 지능형 유닛 테스팅 자동화 기술, 그리고 SW의 다양한 시나리오를 검사하는 SW 파괴 테스팅 기술을 연구한다.

□ 연구개발 내용
① JavaScript-C 상호작용 분석 연구
⦁ JavaScript와 C 혹은 다른 언어로 함께 구현된 앱을 정확하게 분석하는 알고리즘 연구
⦁ 모바일 앱 분석을 통해 JavaScript로 구현된 광고가 앱과의 상호작용을 통해 수행할 수 있는 악성 행동을 탐지하는 분석기법 연구
② SW 파괴 테스팅 알고리즘을 활용한 SW 테스트 자동생성 프레임워크 연구
⦁ SW 변이체 생성 및 테스팅
⦁ 원본 SW의 테스트 커버리지 향상 조건 추론
⦁ 커버리지 향상 조건을 만족하는 테스트 케이스 자동생성
③ 지능형 정적/동적 분석을 활용한 SW 유닛 테스트 정확도 향상 기술
⦁ 지능형 유닛 테스트 실행 결과 동적 분석 및 정적 분석을 활용한 유닛 테스트 정확도 향상 기술
⦁ 거짓 경보 완전 제거를 위한 지능형 시스템 테스트 합성 기술
④ 기계 학습 전용 언어와 범용 언어간 상호작용을 검증하는 정적 분석 및 테스팅 기술
⦁ 기계 학습 전용 언어에 있는 확률 변수 성질 선언문의 정확함을 검증하는 분석 기술 개발
⦁ 기계 학습 전용 언어로 작성한 프로그램이 PyTorch 라이브러리를 올바르게 사용하는지 검증하는 기술 개발

□ 활용계획 및 기대효과 (응용분야 및 활용범위 포함)
① 코드 기반 자동 검증 연구에 있어 선도적 관점 제시
⦁ 풀스택 SW 코드 자동 검증은 세계적으로 새로운 연구주제이고, 검증 대상 SW의 범위를 확대함으로써 새롭고 다양한 후속 연구 파생 기대
② 풀스택 SW 코드 자동 검증 기술 확산
⦁ 국내 IT 기업들을 대상으로 SW 코드 자동 검증 기술을 확산하여, 국내 개발 풀스택 SW의 안전성 및 개발 효율 향상에 기여
③ 산학 협력을 통한 개발 기술 산업체 전파 및 피드백 수집
⦁ 연구 개발 결과가 실제 산업체의 문제를 얼마나 잘 해결하는지 평가하고, 수집된 피드백을 바탕으로 연구를 개선하여 연구 결과 실용성 확대
④ 대학, 대학원, 업체 교육을 통한 풀스택 SW 코드 검증 전문 인력 확산
⦁ 풀스택 SW 코드 검증 교육을 위한 교과목을 개설하고, 관련 전문 인력 양성/배출
⦁ 관련 연구기관 및 업체 세미나 교육을 통해, 기존 개발자가 풀스택 SW 코드 검증기술을 배우거나, 관련 전문 기술의 유용성을 전파하여 산업 저변 확대

(출처 : 요약문 2p)

목차 Contents

• 표지 ... 1
• 요약문 ... 2
• 목차 ... 4
• 1. 연구개발 목표 및 평가항목별 성과 ... 5
• 1-1. 연구개발 목표 ... 5
• 1-2. 평가항목별 성과 ... 5
• 2. 추진내용 및 연구개발결과 ... 9
• 2-1. 추진내용 및 연구개발결과 ... 9
• 2-2. 추진 일정 실적 ... 69
• 2-3. 연구개발성과의 관련 분야에 대한 기여정도 ... 73
• 2-4. 연구개발성과의 관리 및 활용 계획 ... 73
• 3. 당초 연구계획 대비 주요 변경사항 ... 75
• 첨부1. 연구개발 목표의 달성도 증빙 ... 76
• 끝페이지 ... 91