제출문
요약문
SUMMARY
CONTENTS
목차
제1장 서론 14
1절 연구개발의 목적 14
2절 연구개발의 필요성 14
3절 연구개발 범위 15
1. 연구개발 범위 15
제2장 국내외 기술개발 현황 19
1절 국내 기술 동향 및 수준 19
1. 국내 소프트웨어 공학기술 동향 및 수준 19
2. 국내 임베디드 소프트웨어 검증 분야 동향 20
3. 국방 분야 소프트웨어 검증 분야 동향 20
4. 국내 주요 기업 21
2절 국외 기술 동향 및 수준 24
1. 주요산업별 국제 소프트웨어 관련 기술표준 강제화 움직임 24
2. 소프트웨어 테스팅 분야 국외 1위 기업 대비 국내 기술 수준 26
3. 국외 주요 기업 26
제3장 연구개발수행 내용 및 개발 29
1절 연구개발 성과 및 제출된 산출물의 적절성 29
1. 내장형 S/W 모델링 기술 개발 29
2. 내장형 S/W 모델검증 기술 개발 31
3. 프로그램 의미 분석 기술 개발 33
4. 정적 분석 기술 개발 41
5. 동적 분석 기술 개발 50
6. 단위 시험 지원 기술 개발 55
2절 시작품 성능시험 평가내용(자체시험 결과) 56
1. 자체 시험 결과 56
2. 시험 적용 결과 76
3. 경쟁 도구와의 기능 및 성능 비교 87
3절 군수 적응성 95
4절 기반기술확보 및 기술자료 작성현황 96
1. 논문 96
2. 지식재산권 96
3. 기술문서 97
4. 시제품 99
5절 중요내용 변경사항 및 조치내용 100
1. 프로그램 의미 분석 기술 개발 중 검증기 연구 대상 변경 100
2. 프로그램 의미 분석 기술 개발 중 오류 검출기의 개발 checker 변경 100
3. 동적 분석 기술과 단위 시험 지원 기술을 통합한 단일 도구 개발 100
6절 연구수행에 따른 문제점 및 개선방향 100
1. 기계학습기 성능 개선 100
제4장 연구개발목표 달성도 및 대외기여도 101
1절 연구개발 목표달성도 101
1. 내장형 S/W 모델링 기술 개발 101
2. 내장형 S/W 모델 검증 기술 개발 101
3. 프로그램 의미 분석 기술 개발 102
4. 정적 분석 기술 개발 105
5. 동적 분석 기술 개발 107
6. 단위 시험 지원 기술 개발 108
2절 예상효과 109
1. 고 신뢰성 내장형 소프트웨어 품질 향상에 기여 109
2. 기타 내장형 소프트웨어의 품질 향상에 기여 109
3. 엔터프라이즈 고신뢰 소프트웨어의 품질 향상에 기여 109
제5장 연구개발결과의 활용계획 110
1절 사업화 전략 110
1. 제품화 전략 110
2. 시장진출 전략 112
2절 사업화 계획 120
3절 투자 계획 121
제6장 참고문헌 122
