목차

Ⅰ. 서론 1
1.1. 연구 배경 1
1.2. 연구 방법 및 내용 5
Ⅱ. 신뢰성 6
2.1. 신뢰성 개념 및 역사 6
2.2. 신뢰성의 분포 함수 7
2.2.1. 신뢰성 함수와 특징 7
2.2.2. 고장분포 10
2.2.2.1. 지수분포 10
2.2.2.2. 감마분포 11
2.2.2.3. 와이블분포 12
2.2.2.4. 레일리분포 13
2.2.2.5. 정규분포 14
2.2.2.6. 로그정규분포 15
Ⅲ. 소프트웨어 신뢰성 16
3.1. 소프트웨어 개발 16
3.2. 소프트웨어 신뢰성 모형 18
3.2.1. 오류 유입 모형 18
3.2.2. 고장률 모형 19
3.2.3. 곡선 접합 모형 21
3.2.4. 신뢰성 성장 모형 22
3.2.5. 시계열 모형 23
3.3. NHPP 소프트웨어 신뢰성 모형 24
3.3.1. 포아송 과정 24
3.3.1.1. 동질성 포아송 과정 24
3.3.1.2. 비동질성 포아송 과정 25
3.3.2. NHPP Exponential 모형 27
3.3.2.1. Goel-Okumoto 모형 27
3.3.2.2. Musa exponential 모형 27
3.3.2.3. Hyperexponential 성장 모형 28
3.3.2.4. Yamda-Osaki exponential 성장 모형 28
3.3.3. NHPP S-shaped 모형 29
3.3.3.1. Delayed S-shaped 모형 29
3.3.3.2. Inflection S-shaped 모형 30
3.3.4. Testing effort NHPP 모형 31
3.3.4.1. Yamada exponential 모형 32
3.3.4.2. Yamada rayleigh 모형 32
3.3.5. NHPP imperfect debugging 모형 33
3.3.5.1. Yamada imperfect debugging 모형 1 33
3.3.5.2. Yamada imperfect debugging 모형 2 34
3.3.6. Generalized imperfect debugging fault detection 모형 35
3.3.6.1. Pham-Zhang 모형 36
3.3.6.2. Pham-Nordmann-Zhang 모형 36
3.3.6.3. Pham exponential imperfect debugging 모형 37
3.3.7. Testing coverage 모형 38
3.3.7.1. PZ coverage 모형 40
3.3.8. 운용 환경의 불확실성을 고려하는 NHPP 모형 41
3.3.8.1. Vtub-shaped fault detection rate 모형 41
3.3.8.2. Three parameter fault detection rate 모형 42
3.3.8.3. S형 성장 곡선 모형 43
3.3.8.4. Weibull fault detection rate 모형 43
3.3.8.5. 결함 제거 확률의 영향을 받는 S형 곡선 모형 44
3.3.8.6. 테스팅 커버리지 모형 44
3.4. 새로운 유형의 모형 및 비교 45
3.4.1. Delayed time by syntax error 모형 45
3.4.2. Dependent failure 모형 47
3.4.3. 적합도 척도 48
3.4.4. 적합도 비교 및 결과 51
Ⅳ. 순차적 확률비 검정 59
4.1. Wald의 순차적 확률비 검정 59
4.2. 순차적 확률비 검정을 적용한 소프트웨어 신뢰도 분석 61
4.2.1. 소프트웨어 신뢰성에서의 순차적 확률비 검정 이론 61
4.2.2. 수치적 예제 64
4.2.2.1. 의 수준에 따른 모형의 모수별 순차적 확률비 검정의 민감도 분석 64
4.2.2.2. 순차적 확률비 검정 및 신뢰도 분석 결과 81
Ⅴ. 결론 및 제언 94
참고문헌 96