Concept image of a white passenger aircraft on a runway.

VectorCAST를 활용한 항공우주 소프트웨어 검증

VectorCAST가 요구사항 기반 테스트부터 커버리지 및 도구 인증에 이르기까지, DO-178C 및 ED-12C 검증 목표를 어떻게 충족하는지 살펴봅니다.

DO-178C 및 ED-12C에 따라 항공기 탑재 소프트웨어를 인증하려면 요구사항 기반 테스트와 구조적 코드 커버리지가 모두 필요합니다. 요구되는 커버리지 수준은 소프트웨어 레벨이 높아질수록 증가하며, 레벨 A에서는 MC/DC에 도달합니다. 이 백서에서는 VectorCAST가 이러한 증거를 어떻게 생성하는지, 그리고 인증 과정에서 제시해야 하는 산출물이 무엇인지 설명합니다.

백서의 주요 내용

각 DO-178C 및 ED-12C 검증 목표를 VectorCAST 기능에 매핑합니다.
요구사항을 바탕으로 정상 범위 및 견고성 테스트 케이스를 작성하십시오.
MC/DC를 포함하여 레벨 A 수준의 구조적 커버리지를 입증하십시오.

데이터를 검증하고 구성 요소 간의 연동을 제어합니다.
테스트 단계 전반에 걸쳐 커버리지를 재사용하여 중복되는 저수준 작업을 줄이십시오.
TQL 매트릭스 및 검증 키트를 사용하여 VectorCAST의 인증 적격성을 검증합니다.

소프트웨어 레벨 및 구조적 커버리지

유럽에서 EUROCAE ED-12C로 발표된 DO-178C는 항공전자 기업 및 FAA, EASA, 캐나다 교통부(Transport Canada)와 같은 인증 기관이 기내 소프트웨어를 승인하는 데 사용하는 지침을 설정합니다. 시스템 안전 평가를 통해 소프트웨어 등급이 설정되며, 각 등급에는 고유한 구조적 커버리지 목표가 부여됩니다. 등급 A부터 C까지는 아래의 표와 같으며, 등급 D와 E에는 구조적 커버리지 목표가 없으며, 경미한 고장 상황과 항공기 또는 승무원에게 영향을 미치지 않는 소프트웨어를 다룹니다.

A 등급

치명적 고장 상태

구조적 적용 범위
명제, 결정, MC/DC

B 등급

위험한 고장 상태

구조적 적용 범위
명시 사항 및 결정

C 등급

주요 고장 조건

구조적 적용 범위
명세

VectorCAST의 적용 분야

VectorCAST/C++ 및 VectorCAST/Ada는 C, C++, Ada 소스 코드의 단위 테스트 및 통합 테스트를 자동화하여, 테스트 스텁과 드라이버 프로그램을 자동으로 생성하고 컴파일합니다. VectorCAST/QA는 기능 테스트 또는 시스템 테스트 중에 커버리지를 수집합니다. Requirements Gateway는 요구 사항을 테스트 케이스와 연결하며, Runtime Support Package는 실행 범위를 임베디드 대상 및 시뮬레이터로 확장합니다. VectorCAST/Timing은 최악의 경우 실행 시간 분석을 추가하여, 측정된 실행 데이터로부터 타이밍을 계산함으로써 안전성 입증에 필요한 통계적 근거를 제공합니다.

테스트는 소스 코드와 독립적이므로, 동일한 테스트 케이스를 호스트, 시뮬레이션 또는 대상 플랫폼에서 실행할 수 있습니다. 애플리케이션이 새로운 프로세서나 컴파일러로 이전될 경우, 회귀 테스트 메커니즘이 테스트 하네스를 재구축하고 새로운 환경에서 기존 테스트를 다시 실행합니다.

VectorCAST 도구 적합성 검증

DO-178C 및 ED-12C는 도구가 검증 프로세스를 자동화하거나 줄이며, 그 결과가 독립적으로 검증되지 않는 경우 해당 도구에 대한 자격 인증을 요구합니다. VectorCAST는 저수준 요구사항 검증 및 커버리지 보고 기능을 수행하므로, 반드시 자격 인증을 받아야 합니다. Vector는 각 프로젝트에 맞춤화된 기성 자격 인증 패키지를 제공합니다. 이 백서에서는 기준 수준, 도구 자격 인증 수준 매트릭스 및 자격 인증 키트의 구성 내용을 설명합니다.