표제지
목차
ABSTRACT 6
1. 서론 7
1) 연구 배경 7
2) 연구목표 및 방법 7
2. 관련 연구 8
1) 고전적 소프트웨어 테스트 방법 8
(1) 유닛테스트 절차 [1] 8
(2) 소프트웨어 테스트 기술 10
2) 상용 테스트 툴 12
(1) 상용 소프트웨어 테스트 툴 종류 12
(2) 상용 소프트웨어 테스트 툴 특징 12
(3) 한계점 : 현실적으로 Functional 테스트 만으로 100% 코드 카버리지는 불가함 12
3) DO-178B 소프트웨어 카버리지 13
(1) 소프트웨어 카버리지 14
(2) DO-178B Level A 의 소프트웨를 위한 MC/DC 카버리지 16
3. 알고리즘 구성 17
1) 테스트 절차 개발 17
(1) 테스트 방법 절차별 도구 17
(2) 테스트 케이스 수립 18
(3) MakeTest 툴을 이용한 테스트 파일 생성 19
2) BP설정 및 연산 결과 판단 알고리즘 20
(1) BP 설정 알고리즘 20
(2) BP 에서 연산 결과 판단 알고리즘 21
(3) BP 생성 Script File (CMM File) 24
(4) Admin_Maketest.c 파일 25
3) 테스트 케이스 자동 생성 26
(1) 테스트 조건에 따른 테스트 케이스 자동 생성 매크로 26
(2) 테스트 케이스 자동 생성 매크로 구현 26
4. 실험 및 결과 28
1) Statement 카버리지 테스트 28
(1) 코드 설정 28
(3) 오류 분석 29
2) Decision 카버리지 테스트 29
(1) 코드 설정 29
(2) 시험 결과 30
(3) 오류 분석 31
3) MC/DC 카버리지 테스트 31
(1) 코드 설정 31
(2) Test Cases 생성 32
(3) 테스트 케이스 툴 설정 33
(4) 시험 결과 34
(5) 오류분석 35
4) 테스트 실험 결과 35
5. 결론 및 향후 연구 36
참고문헌 37
부록 39
감사의 글 46
Table 1. DO-178B Criticality category 14
Table 2. Software level and coverages 15
Table 3. MC/DC test conditions 16
Table 4. Template types 18
Table 5. Comparison of BP Methods 24
Table 6. MC/DC coverage test cases 33
List of Figurs
Figure 1. Unit test procedure 9
Figure 2. Dynamic test process 11
Figure 3. Code and Definition 16
Figure 4. Test procedure 18
Figure 5. Input/output file 19
Figure 6. BP setup algorithm 21
Figure 7. T-50 C40's BP Method 22
Figure 8. MPC55xx's BP Method 23
Figure 9. Creation of test cases 26
Figure 10. Statement coverage test 29
Figure 11. Decision coverage test 31
Figure 12. MC/DC coverage test 34
Figure 13. MC/DC coverage test log 35
Figure 14. Operation flow chart 39