요구사항 기반 시험을 진행한 뒤, 실행되지 않은 소스 코드에 대한 커버리지를 만족하기 위해 어떠한 활동이 필요한지 DO-178에서 기술하는 구조적 커버리지 분석을 통해 알아보겠습니다.
구조적 커버리지 분석은 요구사항 기반 시험 절차에 의해 인터페이스를 포함한 구성 요소 간 어떤 코드 구조가 실행되지 않았는지 판별합니다. 요구기반 테스트 케이스는 인터페이스를 포함한 코드 커버리지를 모두 만족하지 않을 수 있습니다. 코드 커버리지를 모두 만족하기 위해서는 구조적 커버리지 분석을 수행하여 수행되지 않은 코드 구조에 대하여 추가 검증을 진행해야 합니다. 그 활동은 다음과 같습니다.
a. 요구사항 기반 시험 중에 수집된 구조적 커버리지 분석 정보를 분석하여 구조적 커버리지 적용 범위가 소프트웨어 수준에 적합한지 확인한다.
b. 구조적 커버리지 분석은 소스코드, 오브젝트 코드, 실행 오브젝트 코드에 대하여 수행될 수 있다. 만약 소프트웨어 레벨이 A이고 컴파일러, Linker등이 소스 코드 내에서 직접적으로 추적할 수 없는 추가적인 코드를 생성한다면 추가 검증을 수행하여야 한다.
c. 요구사항 기반 시험이 코드 구성 요소 간의 Data, Control Coupling을 수행하고 있는지를 확인한다.
d. 구조적 커버리지 분석 솔루션 (6.4.4.3에 기술)
구조적 커버리지 분석이란 요구사항 기반 시험 이후 Dead Code, 요구사항 부족 등의 실행되지 않은 소스 코드를 위의 추가 분석을 통하여 보완하는 것을 말합니다.
