Main Content

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

기본 케이스가 없는 스위치 케이스 표현식을 확인하세요.

검사 ID: mathworks.misra.SwitchDefault

기본 케이스가 없는 스위치 케이스 표현식을 식별합니다.

설명

체크 플래그는 기본 케이스가 없는 스위치 케이스 표현식이 있는 모델 객체에 플래그를 지정합니다.

이 검사의 권장 사항을 따르면 임베디드 애플리케이션에 대한 MISRA C:2012 호환 코드는 물론 CERT C, CWE, ISO/IEC TS 17961 표준을 준수하는 코드를 생성할 가능성이 높아집니다.

Polyspace® 주석으로 정렬된 경우 기본 케이스가 없는 블록에는 검사가 플래그를 지정하지 않습니다. 검사를 실행하면 Blocks with justification 테이블에는 근거가 있는 기본 사례가 없는 블록이 나열됩니다.

Embedded Coder® 및 Simulink® Check™와 함께 사용할 수 있습니다.

결과 및 권장 조치

상태권장 조치

모델 객체에는 기본 케이스가 없는 스위치 케이스 표현식이 있습니다.

Switch Case 블록의 경우 기본 사례를 명시적으로 지정하려면 블록 매개변수 default case 표시를 선택하는 것이 좋습니다.

기능 및 제한 사항

다음을 수행할 수 있습니다.

  • 라이브러리 모델에 대해 이 검사를 실행하세요.

  • Simulink Check 라이센스가 있는 경우 이 검사에서 블록과 차트를 제외하십시오.

편집 시 검사

이 확인은 편집 시 검사를 통해 지원됩니다.

참조: