초록 ▼

본 연구는 효과적인 소프트웨어 테스팅을 위한 동적 커버리지 기술 연구를 목표로 수행되었다.
1. 연구 내용
① 소프트웨어 신뢰성을 측정하기 위한 효과적인 소프트웨어 테스팅 정량지표 및 측정 방법 개발
- C/C++ 소프트웨어 동적 커버리지 측정을 위한 동적 기호 실행 기술 개발
- 동적 커버리지 기반의 소프트웨어 신뢰성 평가지표 연구
- 주어진 프로그램 실행 경로를 실행하는 입력값 수 계산기법 확장

② 소프트웨어 신뢰성을 효과적으로 향상시킬 수 있는 테스트 케이스 자동 생성 기법 개발
-

본 연구는 효과적인 소프트웨어 테스팅을 위한 동적 커버리지 기술 연구를 목표로 수행되었다.
1. 연구 내용
① 소프트웨어 신뢰성을 측정하기 위한 효과적인 소프트웨어 테스팅 정량지표 및 측정 방법 개발
- C/C++ 소프트웨어 동적 커버리지 측정을 위한 동적 기호 실행 기술 개발
- 동적 커버리지 기반의 소프트웨어 신뢰성 평가지표 연구
- 주어진 프로그램 실행 경로를 실행하는 입력값 수 계산기법 확장

② 소프트웨어 신뢰성을 효과적으로 향상시킬 수 있는 테스트 케이스 자동 생성 기법 개발
- 소프트웨어 신뢰성을 효과적으로 향상시킬 수 있는 동적 기호 실행 탐색 휴리스틱 연구

③모바일 소프트웨어 도메인의 신뢰성이 중요한 핵심 인프라 소프트웨어를 대상으로 개발 기술 적용
- 신뢰성 평가 기술 적용에 적합한 모바일 도메인 핵심 인프라 소프트웨어 선정
- 모바일 도메인 소프트웨어 사례 연구를 통한 우수성 입증

2. 연구 결과
① 소프트웨어 신뢰성을 측정하기 위한 효과적인 소프트웨어 테스팅 정량지표 및 측정 방법 개발
- LLVM을 활용한 C/C++ 대상 동적 커버리지 측정 기술 개발
- #SAT solver 인 sharpSAT을 활용하여 정수 연산 뿐 아니라 bit-wise 연산 및 비선형 연산을 지원하는 정확한 입력 값 수 계산 기법 개발

② 소프트웨어 신뢰성을 효과적으로 향상시킬 수 있는 테스트 케이스 자동 생성 기법 개발
- 벤치마크 결과 기존 깊이 우선 탐색 기법보다 1.5배 더 큰 버그 탐지 능력을 변형 프로그램 분석 기법으로 입증

③모바일 소프트웨어 도메인의 신뢰성이 중요한 핵심 인프라 소프트웨어를 대상으로 개발 기술 적용
- Android, Tizen 플랫폼에서 사용중인 libexif 소프트웨어 대상으로 기술 적용 및 평가

(출처 : 보고서 요약서 3p)

Abstract ▼

In today’s society, software is ubiquitous and software reliability is becoming important. However, we still use the same technique for determining if the software is correct that was proposed decades ago: we test the code with representative inputs. In addition, the approach currently adopted is to

In today’s society, software is ubiquitous and software reliability is becoming important. However, we still use the same technique for determining if the software is correct that was proposed decades ago: we test the code with representative inputs. In addition, the approach currently adopted is to use structural coverage of the code as a mean to assess the reliability of target software. However, covering the structure of the code without any errors is only an indirect, and we argue inadequate, indication of reliability. We thus propose a new test adequacy criterion based on behavioural coverage to improve reliability of target software effectively. In addition, we will apply this behavioural coverage to smartphone software which is an essential tool in information society.

This research covers three major topics as follows:
(1) Developing test metrics to measure software reliability
We will develop test metrics and the related methods that can effectively quantify how much program behaviors are dynamically tested based on behavioural coverage. These metrics and methods aim at supporting quantitative measures of the target program reliability.

(2) Developing automated test case generation technique for improving software reliability We will develop a new symbolic execution based test case generation techniques that effectively utilize the proposed software reliability metric. Our goal is to develop an automated test case generation technique that can effectively support high reliability assurance of a target program.

(3) Applying the developed techniques to testing core S/W components in smallphone software domain
We will apply the developed metric, method, and automated test case generation techniques to testing the core components in mobile software. Throghth experiments and case studies, we will demonstrate the advantage of our research results qualitatively and quantatively.

This research aims at improving quality of software products by supporting testing methods that assess software reliability precisely and detect failure effectively. In particular, the proposed testing metrics and its related methods can guide testing engineer to plan a testing process concisely and precisely, which is a crucial effort for successful software development. We expect that our research results successively contribute to software testing efficiency, software quality improvements, and IT/SW industry compactability.

(출처 : SUMMARY 5p)

목차 Contents

• 표지 ... 1
• 제 출 문 ... 2
• 보 고 서 요 약 서 ... 3
• 요 약 문 ... 4
• SUMMARY ... 5
• CONTENTS ... 6
• 목차 ... 7
• 제1장. 연구개발과제의 개요 ... 8
• 1. 연구개발 목적 ... 8
• 2. 연구개발의 필요성 ... 8
• 제2장. 국내외 기술 개발 현황 ... 11
• 제3장. 연구 수행 내용 및 성과 ... 13
• 1. 소프트웨어 신뢰성을 측정하기 위한 효과적인 소프트웨어 테스팅 정량지표 및 측정 방법 개발 ... 13
• 2. 소프트웨어 신뢰성을 효과적으로 향상시킬 수 있는 테스트 케이스 자동생성 기법 개발 ... 18
• 3. 모바일 소프트웨어 도메인의 신뢰성이 중요한 핵심 인프라 소프트웨어를 대상으로 개발 기술 적용 ... 20
• 4. 연구 수행 결과 ... 21
• 5. 국제 공동 연구 수행 내역 ... 24
• 제4장. 목표 달성도 ... 25
• 1. 연구개발목표의 달성도 ... 25
• 제5장. 연구개발성과의 활용계획 ... 26
• 제6장. 연구 과정에서 수집한 해외 과학기술 정보 ... 28
• 1. 남아공 Stellenbosch 대학의 Willem Visser 그룹의 연구: 동적 커버리지 기법을 활용한 기존 mutation 기반 커버리지 기법 분석 ... 28
• 2. 미국 UC Santa Barbara 대학의 Tevfik Bultan 그룹의 연구: String constraint를 위한 model counting 연구 ... 28
• 3. 미국 Oregon 주립대학의 Alex Groce 그룹의 연구: 테스팅 커버리지간의 상관관계 연구 ... 28
• 제7장. 연구개발성과의 보안등급 ... 30
• 제8장. 국가과학기술종합정보시스템에 등록한 연구시설·장비 현황 ... 31
• 제9장. 연구개발과제 수행에 따른 연구실 등의 안전 조치 이행 실적 ... 32
• 제10장. 연구개발과제의 대표적 연구 실적 ... 33
• 제11장. 기타 사항 ... 34
• 제12장. 참고 문헌 ... 35
• 끝페이지 ... 36