결합 검증은 DO-178B 및 DO-178C 모두에서 안전이 중요한 항공 전자 장비 소프트웨어에 대한 필수 요구사항입니다. VectorCAST/Coupling은 먼저 정적 분석을 통해 결합 관계를 식별한 다음, 애플리케이션 실행 중 런타임에 이를 검증함으로써 이러한 요구사항을 충족합니다.
VectorCAST/Coupling은 기존 VectorCAST/QA 프로젝트 또는 VectorCAST Cover 환경 내에서 작동합니다. 별도의 설치 초기 설정이 필요하지 않습니다. 정적 분석과 런타임 분석은 모두 하나 이상의 C 또는 C++ 소스 파일로 구성된 사용자 정의된 소프트웨어 컴포넌트를 대상으로 수행됩니다.
VectorCAST/Coupling은 누구를 위한 제품인가요?
VectorCAST/Coupling은 설계 보증 수준(Design Assurance Levels) A, B 또는 C에 따라 DO-178B 또는 DO-178C 규정을 준수하는 항공 전자 장비 프로그램의 검증 엔지니어 및 소프트웨어 책임자가 사용합니다. 이를 사용하려면 기존의 VectorCAST/QA 환경이 필요합니다.
DO-178 결합 요구사항
DO-178C는 검증해야 하는 두 가지 유형의 결합을 정의하고 있습니다.
데이터 결합
소프트웨어 컴포넌트가 해당 컴포넌트가 독점적으로 제어하지 않는 데이터에 의존하는 상태.
(DO-178C 부록 B, 용어집)
제어 결합
한 소프트웨어 컴포넌트가 다른 소프트웨어 컴포넌트의 실행에 미치는 방식 또는 정도.
(DO-178C 부록 B, 용어집)
DO-178B에서 DO-178C로 넘어오면서 요구사항이 어떻게 강화되었는가
DO-178B는 데이터 및 제어 결합이 의도된 대로 존재함을 확인하도록 요구했습니다. DO-178C는 팀들이 요구사항 기반 평가를 통해 데이터 및 제어 결합이 실제로 작동했음을 확인하도록 요구함으로써 이 요건을 강화했습니다. DO-178C에 따른 DAL A, B 또는 C 준수를 위해서는 다음 세 가지를 입증해야 합니다.
- 데이터 및 제어 결합이 요구사항과 의도된 디자인을 충족해야 함
- 요구사항 기반 테스트 실행 후 데이터 및 제어 결합에 대한 커버리지 분석이 수행되었어야 한다
- 동적 커버리지 분석이 수행되었으며, 정적 분석만으로는 더 이상 충분하지 않습니다
VectorCAST/Coupling은 이 세 가지 요건을 모두 충족합니다.
VectorCAST/Coupling의 장점
수동으로 수행해야 할 분석 작업을 자동화하세요
C 또는 C++ 코드베이스 전반에 걸쳐 커플링을 수동으로 식별하고 검증하는 작업은 시간이 많이 소요될 뿐만 아니라 오류가 발생하기 쉽습니다. VectorCAST/Coupling은 정적 식별과 런타임 검증 모두를 자동화하여 상당한 시간을 절약하고 정확도를 높여줍니다.
기존 VectorCAST 환경을 사용하십시오
VectorCAST/Coupling은 기존 VectorCAST/QA 프로젝트 또는 VectorCAST Cover 환경과 직접 통합됩니다. 별도의 설치 초기 설정이나 병렬 인프라 요구사항이 없습니다.
DO-178C 동적 분석 요구사항 충족
정적 분석만으로는 DO-178C 결합 검증 요건을 충족할 수 없습니다. VectorCAST/Coupling은 규정 준수 증명을 완성하는 런타임 검증 구성 요소를 제공합니다.
감사 준비가 완료된 보고서를 자동으로 생성
결합 커버리지 보고서, 액세스 순서 전체 보고서 및 액세스 순서 오류 보고서가 자동으로 생성되며, 인증 검토에 적합한 구조로 구성됩니다.
작동 원리
결합 분석의 목표는 두 가지를 입증하는 데 있습니다. 첫째, 구현 단계에서 아키텍처 구성 요소 간의 제어 흐름과 데이터 흐름이 의도된 설계와 일치한다는 점, 둘째, 이러한 흐름이 평가를 통해 검증되었다는 점입니다. VectorCAST/Coupling은 두 단계의 과정을 통해 이러한 증명을 도출합니다.
1단계: 정적 분석
VectorCAST/Coupling은 C 또는 C++ 소스 파일에 대한 정적 분석을 수행하여 사용자가 정의한 소프트웨어 컴포넌트 전반에 걸쳐 데이터 및 제어 결합을 식별합니다. 컴포넌트란 하나 이상의 소스 파일로 구성된 사용자 정의된 모음입니다. 이 정적 분석 결과로 생성되는 ‘컴포넌트 보고서’에는 각 컴포넌트의 전역 데이터 객체와 함수가 목록으로 나열되며, 기준 결합 맵이 수립됩니다.
2단계: 런타임 검증
애플리케이션 실행 중에 VectorCAST/Coupling은 식별된 결합 관계를 계측하고, 이들이 설계 의도대로 동작하는지 검증합니다. 런타임 결과가 수집되어 정적 분석으로 생성된 결합 맵과 비교됩니다. 이러한 동적 검증은 DO-178C가 정적 분석만으로는 부족하다고 규정하는 부분입니다.
결합 범위 보고서
VectorCAST/Coupling은 세 가지 보고서를 생성하며, 각 보고서는 검증 및 감사 워크플로우에서 서로 다른 목적을 수행합니다.
커플링 적용 현황 보고서
정적 분석 및 런타임 분석 결과를 통합하여 애플리케이션 전반의 결합도 커버리지에 대한 고수준 개요를 제공합니다. 각 컴포넌트의 전역 데이터 객체와 함수를 목록으로 나열한 ‘컴포넌트 보고서’가 포함합니다.
결합 접근 명령 전체 보고서
모든 커플에 대한 평가 결과를 기준으로 접근 순서를 표시하여, 모든 평가에서 소프트웨어 아키텍처가 올바르게 준수되었는지 확인합니다. 결합 행동에 대한 완전한 커버리지를 입증하는 데 사용됩니다.
커플링 액세스 순서 오류 보고서
오류가 있는 커플에 대해서만 테스트 결과를 기준으로 액세스 순서를 표시합니다. 이를 통해 검증 엔지니어는 전체 결과 집합을 일일이 해석하지 않고도 액세스 순서 위반 사항을 효율적으로 추적할 수 있습니다.
Frequently Asked Questions
