Proven by Intelligence
보이지 않는 안전을 인텔리전스로 증명하다.
기술 인사이트를 만나보세요.
임베디드 항공 시스템/소프트웨어에서 많이 사용하고 있는 VectorCAST,
소프트웨어 동적시험 및 커버리지 분석 자동화 솔루션으로, DO-178B/C, DO-128B/C 소프트웨어 검증에도 많이 사용하고 있습니다.
이번 포스팅에서는 DO-128B/C 소프트웨어 검증을 위한 VectorCAST 사용 방법에 대해 안내해 알려 드리겠습니다.
I Introduction
이번 포스팅에서는 DO-128B 와 DO-178C 표준 “Software Considerations in Airborne Systems And Equipment Certification”의 6.0 세션에 정의된 Software Verification Process(소프트웨어 검증 프로세스)를 만족하는데 VectorCAST 임베디드 소프트웨어 테스팅 플랫폼이 어떻게 사용되는지 설명합니다.
I What are the DO-178B and DO-178C standards
DO-128B는 1992년 12월 RTCA 에 의해 처음 공표 되었습니다. 해당 문서는 FAA, EASA, Transport Canada와 같이 비행 장비 개발 조직과 인증 기관에서 사용된 가이드 라인을 기술합니다. DO-178B의 개발은 RTCA와 ED-12B로 문서를 공표했던 EUROCASE의 공동 작품입니다. 여러 Certification Authorities Software Team (CAST) 문서들은 초기 공표 후 수정이 되어 개발되었습니다.
DO-128B를 대체할 DO-128C는 인증 기관이 모든 상용 소프트웨어 기반 우주 항공 산업 시스템을 승인할 때 사용되는 주요 문서가 될 수 있습니다. 그것은 항공 전자 공학의 소프트웨어 개발과 관련하여 많은 경험과 수집된 정보를 바탕으로 DO-128B의 개정을 나타냅니다.
DO-128C(Ed-12C)라는 명칭의 새 문서는 2011년 11월 완료 되고 2011년 12월 RTCA에 의해 승인 되었습니다. 그리고 이 새로운 문서는 2012년 1월부터 사용 가능하게 되었습니다.
DO-128B와 DO-128C(DO-128B/C) 둘 다 우주 항공 시스템 개발에 따라야 하는 프로세스로 규정합니다. DO-128B/C의 소프트웨어 검증 프로세스 주요 요구사항 중 하나는 상위 레벨과 하위 레벨의 소프트웨어 요구사항 테스팅과 함께 구조적인 Code Coverage를 달성하는 것 입니다.
시스템 안전 평가를 기반으로 고장 상태 카테고리가 설정 됩니다. 고장 상태 카테고리는 우주 항공 안전 동작을 위해 필요한 소프트웨어 무결성의 레벨을 결정합니다. DO-128B/C는 소프트웨어가 예상치 못한 행동이 발생될 수 있거나 시스템 기능의 오동작에 기여할 수 있는지 여부를 기반으로 소프트웨어를 다섯개의 레벨로 분류합니다.
| 레벨 | 실패의 정의 (Failure Definition) | 관련 구조적 커버리지 |
| A | Software resulting in a catastrophic failure condition for the system 소프트웨어가 시스템에 치명적인 오류 조건을 야기한다. | Modified Condition/Decision Coverage, Decision Coverage & Statement Coverage MC/DC, Decision Coverage, Statement Coverage 적용 |
| B | Software resulting in a hazardous or severe-major failure condition for the system 소프트웨어가 시스템에 위험하거나 심각한 주요 실패 조건을 야기한다. | Decision Coverage & Statement Coverage Decision Coverage, Statement Coverage 적용 |
| C | Software resulting in a major failure condition for the system 소프트웨어가 시스템에 주요 실패 조건을 야기한다. | Statement Coverage Statement Coverage 적용 |
| D | Software resulting in a minor failure condition for the system 소프트웨어가 시스템에 크게 심각하지 않은 실패 조건을 야기한다. | None Required 요구 없음 |
| E | Software resulting in no effect on the system 소프트웨어가 시스템에 아무런 영향을 미치지 않는다. | None Required 요구 없음 |
I What is VectorCAST
VectorCAST 제품군은 DO-128B/C에서 요구되는 모든 레벨의 구조적 Code Coverage 데이터 분석과 리포팅을 지원합니다.
VectorCAST 제품군은 아래 다섯 가지 보완 기술로 구성되어 있습니다.
VectorCAST/C++ VectorCAST/Ada | 이 도구는 C와 C++, Ada 언어로 작성된 소스코드 모듈 테스팅의 프로세스를 자동화합니다. 여기서 분석된 Code Coverage 데이터는 VectorCAST/Cover 제품군과 병합될 수 있어 100%의 Code Coverage 를 효율적으로 도달할 수 있도록 지원합니다. |
| VectorCAST/Cover | Generates code-coverage artifacts during functional or system test of C, C++ or Ada C, C++, Ada 언어 기반의 프로젝트의 기능시험 & 시스템 시험을 진행하는 동안 Code Coverage 를 분석할 수 있도록 지원합니다. |
| VectorCAST/RGW (Requirements Gateway) | Provides the ability to tag requirements to VectorCAST test cases VectorCAST의 Test Case에 요구사항을 태깅할 수 있는 기능을 제공합니다. |
| VectorCAST/RSP (Runtime Support Package) | VectorCAST/C++과 VectorCAST/Ada가 임베디드 타겟이나 시뮬레이터 환경 기반하여 실시간으로 Test Case 를 실행할 수 있도록 지원해주는 패키지 입니다. |
| VectorCAST/Manage | 모든 단위, 통합시험의 회귀 시험 활동을 자동화 합니다. |
이 도구들은 저수준의 소프트웨어 요구사항이 시험되었다는 것을 증명하기 위해 Test Case 를 생성하고 관리하는 것을 지원합니다.
