VectorCAST/Coupling
데이터/제어 결합도(Data/Control Coupling) 검증데이터 결합(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은 다음과 같은 리포트 종류를 제공하며, 아래에서 자세히 설명합니다.
Component Report
각 컴포넌트에 대한 전역 데이터 개체 및 기능을 나열합니다.
Coupling Coverage Report
정적 분석 및 런타임 분석을 보여줍니다. 이 리포트는 어플리케이션의 결합도 커버리지에 대한 최상위 뷰입니다.
Coupling Access Order Full Report
모든 결합도 테스트 결과에 따른 접근 순서를 보여줍니다. 이것은 모든 테스트에서 아키텍처가 올바르게 준수되고 있는지 확인합니다.
Coupling Access Order Error Report
오류가 있는 결합에 대해서만 테스트 결과에 따른 접근 순서를 보여줍니다. 이 리포트는 사용자가 모든 테스트 결과를 분석하지 않아도 접근 오류를 효율적으로 추적할 수 있도록 도와줍니다.
다운로드
뉴스 & 이벤트
서비스
VectorCAST 서비스
VectorCAST의 서비스는 고객의 소프트웨어 품질 및 생산성을 향상시킬 수 있도록 업계 모범 사례(Best Practice)를 기반으로 방법론을 구현할 수 있게 도와줍니다. VectorCAST 서비스가 다른 전문 서비스 그룹과 차별화하는 것은 복잡한 테스트 환경에 대한 전문성입니다. 이를 바탕으로 고객이 소프트웨어 개발 및 반복 가능한 테스트 프로세스를 확립할 수 있도록 지원하는 동시에 고객 스스로 테스트를 수행할 수 있도록 멘토링하는 데 주력합니다.
교육
VectorCAST 워크샵
VectorCAST 워크샵은 VectorCAST에 대한 지식을 넓히거나 심화할 많은 기회를 제공합니다. 유닛 테스트 및 코드 커버리지 기본 개념을 이해를 할 수 있으며, VectorCAST 테스트 자동화 플랫폼을 사용하여 위 개념들을 활용하는 방법을 배울 수 있습니다.
