Chapter 1164. DO-178C 검증 프로세스 (DO-178C Verification Processes) Chapter 1164. DO-178C 검증 프로세스 (DO-178C Verification Processes) 1164.1DO-178C 검증 프로세스의 개요와 목적 1164.2검증 활동과 수명 주기 프로세스의 관계 1164.3DAL별 검증 목표의 비교 1164.4검증 독립성(Independence) 요건 1164.5요구사항 기반 시험 전략의 원칙 1164.6고수준 요구사항(HLR)의 검토(Review) 절차 1164.7HLR의 추적성(Traceability) 검증 1164.8저수준 요구사항(LLR)의 검토 절차 1164.9LLR의 추적성 검증 1164.10소스 코드의 검토 절차 1164.11소스 코드와 LLR 간의 적합성 검증 1164.12소프트웨어 통합 시험 절차 1164.13하드웨어/소프트웨어 통합 시험 절차 1164.14정상 범위(Normal Range) 시험 1164.15비정상 범위(Abnormal Range) 시험 1164.16견고성(Robustness) 시험 1164.17구조 커버리지 분석의 목적과 원리 1164.18문장 커버리지(Statement Coverage)의 정의와 적용 1164.19결정 커버리지(Decision Coverage)의 정의와 적용 1164.20MC/DC(Modified Condition/Decision Coverage)의 정의와 적용 1164.21MC/DC 달성을 위한 시험 케이스 설계 1164.22구조 커버리지 미달성 시 추가 검증 활동 1164.23검증 결과의 문서화 요건 1164.24검증 환경과 도구의 요건