항공 전자 — 안전 중요
CppDepend를 통한 항공 전자 소프트웨어 DO-178C 컴플라이언스
CppDepend가 항공 전자 팀이 DO-178C 목표를 충족하도록 돕는 방법: 구조적 코드 분석, 설계 표준 적용, 추적성 및 DAL A–E 검증 증거.
DO-178C (항공 시스템 및 장비 인증의 소프트웨어 고려 사항)은 상용 항공 전자 소프트웨어의 주요 표준입니다. 오류 심각도에 따라 설계 보증 수준(DAL A–E)을 할당하고 계획, 개발, 검증 및 구성 관리 목표를 정의합니다. 최고 수준에서는 인증 기관이 소스 코드의 정적 분석을 포함한 엄격한 도구 지원 검증을 기대합니다.
정적 분석과 관련된 DO-178C 목표
- 코딩 표준 컴플라이언스: 저수준 요구 사항은 강제된 코딩 표준 하에 구현되어야 합니다(많은 프로그램이 MISRA C 또는 JSF 파생 규칙 사용).
- 소스 코드의 정확성 및 일관성: 저수준 요구 사항과 코드 간의 검증 가능한 대응 관계.
- 견고성: 도달 불가능한 코드, 데이터 흐름 이상 및 검토 가능한 임계값을 초과하는 복잡성 탐지.
- 추적성: 모든 분석 결과는 재현 가능하고 검증 기록과 연결되어야 합니다.
CppDepend가 DO-178C 프로그램을 지원하는 방법
- 코딩 표준 적용: 내장 MISRA C/C++ 규칙과 사용자 정의 CQLinq 규칙으로 프로그램별 코딩 표준 및 JSF++ 스타일 제약을 공식화합니다.
- 아키텍처 제어: 소프트웨어 파티셔닝 및 구성 요소 간 종속성이 설계와 일치하는지 검증 — 종속성 순환은 자동으로 플래그됩니다.
- 리뷰용 메트릭: 순환 복잡도, 결합도 및 응집도 메트릭을 SOI 감사 및 관여 단계 리뷰용으로보내기.
- 결정적이고 반복 가능한 분석: 동일한 입력, 동일한 결과 — 인증 증거의 핵심.
- CI 통합: 개발자가 로컬에서 실행하는 것과 동일한 검사를 인증된 빌드 파이프라인 내에서 실행합니다.
관련 산업 및 사례 연구
관련 코딩 표준
CppDepend가 코드베이스에서 무엇을 발견하는지 확인하세요
자체 프로젝트에서 분석 실행: 코딩 표준, 아키텍처 검증, 기술 부채 및 품질 게이트 — 몇 분 만에.