데이터 결합(Data Coupling)도 및 제어 결합도(Control Coupling) 분석에 대한 DO-178C 필수 요구 사항 충족
VectorCAST/Coupling은 C 및 C++ 소스 파일에 대한 데이터 결합도 및 제어 결합도 검증을 위한 자동화된 분석 및 탐침 삽입 기능을 제공하며 기존 VectorCAST/QA 프로젝트 또는 구버전 VectorCAST Cover 환경과 함께 사용됩니다. 결합도 검증은 RTCA DO-178B 및 DO-178C에 따라 안전이 중요한 항공 전자공학 소프트웨어 개발에 필요합니다. 이 도구는 정적 분석의 조합을 사용하여 코드 기반의 결합도를 식별하고, 어플리케이션 실행 중 런타임으로 결합도를 검증하여 DO-178B/C의 결합도 요구사항을 지원합니다.
장점
- C 및 C++ 소스 파일에 대한 자동 결합도 검증
- 기존 VectorCAST Cover 환경 사용 가능
- DO-178C 요구사항 검증
- 리포트 생성
- 수동 분석에 비해 시간과 노력을 절약하고 정확성 확보
동작 원리
결합도 분석의 목적은 구현된 아키텍처 컴포넌트들 간에 제어 및 데이터 흐름이 설계에서 의도한 것과 일치한다는 것을 증명하고 이러한 흐름이 테스트 되었음을 증명하는 것입니다. DO-178B는 개발사에서 설계단에 결합도을 식별하고 해당 결합도가 구현되었는지, 해당 결합도로만 동작하는지 검증하도록 요구합니다. DO-178C는 추가로 개발사가 기능 요구 사항 테스트 중에 해당 결합도를 가지고 실행되었는지 확인하도록 요구합니다. VectorCAST의 Component Report 및 Coupling Coverage Report가 이를 증빙할 수 있도록 해줍니다.
DO-178C는 제어 결합과 데이터 결합이라는 두 가지 유형의 결합을 정의합니다. 사양에서는 다음과 같이 정의합니다.
제어 결합도 – 하나의 소프트웨어 컴포넌트가 다른 소프트웨어 컴포넌트의 실행에 영향을 미치는 방식 또는 정도(DO-178C ANNEX B, 용어집)
데이터 결합도 – 특정 소프트웨어 컴포넌트에 독점적이지 않은 데이터로 만들어지는 소프트웨어 컴포넌트의 종속성(DO-178C ANNEX B, 용어집)
DO-178B는 데이터 및 제어 결합도을 확인하기만 하면 됩니다. DO-178C에서는 요구사항 기반 테스트를 통해 설계된 대로 데이터 및 제어 결합이 실행되었음을 확인하도록 변경되었습니다. DO-178C(A, B 또는 C)를 준수해야 하는 경우 objective 8이 적용됩니다. DO-178B의 경우 수동으로 또는 정적 분석을 통해 데이터 및 제어 결합을 확인했을 수 있습니다. 이제 다음을 수행해야 합니다.
- 데이터 및 제어 결합이 요구 사항 및 의도된 설계를 충족하는지 확인
- 요구사항 기반 테스트 실행 후 데이터 및 제어 결합에 대한 커버리지 분석 제시
- 정적 분석만으로는 충분하지 않으며 동적 커버리지 분석도 제시되어야 합니다. VectorCAST/Coupling을 사용하면 시간을 절약할 수 있습니다.
수동 분석은 어렵고 노동이 필요합니다. 동적 커버리지 분석이 필요하고, 정적 분석만으로는 부족한 준비가 될 수 있습니다. 여기서 VectorCAST/Coupling을 사용하면 더 쉽고 효율적으로 검증을 수행할 수 있습니다.
결합도 커버리지(Coupling Coverage) 리포트
VectorCAST의 결합도(Coupling) 리포트는 구현된 아키텍처 컴포넌트 간의 제어 및 데이터 흐름이 설계에서 의도한 것과 일치하고 이러한 흐름이 테스트 되었음을 증빙합니다. VectorCAST/Coupling은 다음과 같은 리포트 종류를 제공하며, 아래에서 자세히 설명합니다.
다운로드
뉴스 & 이벤트
서비스

VectorCAST 서비스
VectorCAST의 서비스는 고객의 소프트웨어 품질 및 생산성을 향상시킬 수 있도록 업계 모범 사례(Best Practice)를 기반으로 방법론을 구현할 수 있게 도와줍니다. VectorCAST 서비스가 다른 전문 서비스 그룹과 차별화하는 것은 복잡한 테스트 환경에 대한 전문성입니다. 이를 바탕으로 고객이 소프트웨어 개발 및 반복 가능한 테스트 프로세스를 확립할 수 있도록 지원하는 동시에 고객 스스로 테스트를 수행할 수 있도록 멘토링하는 데 주력합니다.
교육

VectorCAST 워크샵
VectorCAST 워크샵은 VectorCAST에 대한 지식을 넓히거나 심화할 많은 기회를 제공합니다. 유닛 테스트 및 코드 커버리지 기본 개념을 이해를 할 수 있으며, VectorCAST 테스트 자동화 플랫폼을 사용하여 위 개념들을 활용하는 방법을 배울 수 있습니다.