표제지
논문 개요
목차
I. 연구 배경 및 목적 10
1. 연구의 배경 10
2. 연구의 목적 12
3. 연구의 방법 및 구성 12
II. 이론적 배경 14
1. ISO/IEC 9126의 분석 14
1) ISO/IEC 9126 개요 14
2) 품질 모델(Quality Model) 16
3) 각 특성 별 메트릭 및 메트릭별 산출 방법 예제 20
4) ISO/IEC 9126 품질 모델 및 품질 메트릭의 장점 및 단점 37
5) ISO/IEC 14598과 SQuaRE ISO/IEC 25000 시리즈 38
2. 고 신뢰성 요구 산업 분야의 임베디드 소프트웨어 특성 조사 41
1) 임베디드 소프트웨어의 정의 및 활용 범위 41
2) 임베디드 소프트웨어의 특징 42
3) 임베디드 소프트웨어의 품질 측정 시 고려해야 하는 사항 44
3. 소프트웨어 테스팅 자동화 도구 및 도구 수행 결과 분석 47
1) CodeScroll™ 47
2) QA·C / QA·C++ 53
3) VectorCast 54
4) LDRA 55
5) 각 도구 간 산출 결과의 비교 57
III. 고 신뢰성 요구 임베디드 소프트웨어 품질 메트릭 60
1. 요구 사항에 대한 시험 커버리지 61
2. 심각도 별 코딩 규칙 위배 개수 63
3. 코딩 규칙 위배 밀도 66
4. MC/DC, Branch, Statement 커버리지 68
5. 함수 별 인자 및 글로벌 변수 개수 70
6. 복잡도 71
7. MC/DC 유효성 지표 72
8. 주석 비율 지표 74
9. 유효 라인수 지표 75
10. 조건식의 and/or 개수 지표 76
IV. 적용 사례 77
1. 품질 종합 관리 시스템 개발 사례 77
2. 품질 종합 관리 시스템 적용 사례 81
V. 결론 93
참고문헌 95
Summary 97
표 1. Usage of ISO/IEC 9126 quality characteristic 14
표 2. Metrics of ISO/IEC 9126 Qaulity Model 21
표 3. Characteristic of embedded software 43
표 4. Availability of applying ISO/IEC 9126 qaulity characteristic to embedded software 44
표 5. Coding rules of CodeScroll™ Code Inspector 48
표 6. Comparison among results of static analysis tools 57
표 7. Severity of coding rules 63
표 8. Example of weight for quality metrics 82
표 9. 1st result of quality measurement[이미지참조] 83
표 10. 2nd result of quality measurement[이미지참조] 84
표 11. 3rd result of quality measurement[이미지참조] 85
표 12. 4th result of quality measurement[이미지참조] 87
표 13. 5th result of quality measurement[이미지참조] 88
표 14. 6th result of quality measurement[이미지참조] 89
표 15. 7th result of quality measurement[이미지참조] 90
그림 1. Internal & external quality model of ISO/IEC 9126 16
그림 2. Structure of SQuaRe standard 39
그림 3. SQuaRe qaulity model 40
그림 4. Introduction of CodeScroll™ Code Inspector 49
그림 5. Program analysis of CodeScroll™ Code Inspector 50
그림 6. Introduction of CodeScroll™ Controller Tester 51
그림 7. Unit testing with using CodeScroll™ Controller Tester 52
그림 8. Program analysis of QA·C / QA·C++ 53
그림 9. Concept for execution of VectorCast 54
그림 10. Static analysis of LDRA 55
그림 11. Unit testing with using LDRA 56
그림 12. Software quality management system 78
그림 13. Concept of operating software quality management system 79
그림 14. Displaying software quality metrics 81