CppDepend를 통한 JSF++ AV(Joint Strike Fighter Air Vehicle) C++ 코딩 표준

JSF++ AV (Joint Strike Fighter Air Vehicle Coding Standards, Lockheed Martin, 2005)는 안전 중요 항공 전자를 위한 가장 영향력 있는 C++ 코딩 표준 중 하나입니다. F-35 프로그램을 위해 작성되었으며 언어 하위 집합, 예외 처리, 메모리 관리, 템플릿 및 결정론을 다루는 221개 규칙을 정의합니다. MISRA C++:2008에 큰 영향을 미쳤으며 DO-178C 하에서 C++를 운용하는 방위 프로그램의 참조 표준으로 남아 있습니다.

JSF++ AV 규칙의 주요 주제

• 예측 가능한 동작: 정의되지 않거나 구현 정의된 동작 없음; 엄격한 초기화 및 유형 안전 규칙.
• 결정적 리소스 사용: 동적 메모리에 대한 엄격한 제어 — 정의된 단계에서만 할당, 누수 없음, 제한된 사용.
• 예외 규율: 예외는 엄격한 패턴 하에서만(또는 금지) 사용되어 제어 흐름이 분석 가능하게 유지됩니다.
• 검토 가능한 코드: 복잡성, 함수 크기 및 결합도에 대한 제한으로 코드가 사람과 도구로 검증 가능한 상태를 유지합니다.

CppDepend가 JSF++ 스타일 적용을 자동화하는 방법

• 사용자 정의 CQLinq 규칙: JSF++ AV 규칙(및 프로그램 맞춤화)을 실행 가능한 쿼리로 공식화 — 더 이상 수동 체크리스트가 필요 없습니다.
• MISRA C++ 내장: JSF++는 MISRA C++:2008과 DNA의 대부분을 공유 — 내장 규칙 세트가 공통 핵심을 즉시 커버합니다.
• 아키텍처 제어: 미션 소프트웨어, 플랫폼 서비스 및 드라이버 간의 계층화를 적용합니다.
• 품질 게이트: JSF++ 컴플라이언스를 CI의 병합 차단 기준으로 만들고, 레거시 코드의 기준선을 설정합니다.
• 감사 증거: 프로그램 리뷰용보내기 가능한 규칙별 컴플라이언스 보고서.

관련 산업 및 사례 연구

• 사례 연구: 항공 전자의 DO-178C 및 아키텍처 제어

관련 코딩 표준

DO-178C · MISRA C++ · CERT C++ · IEC 61508