이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check for switch case expressions without a default case (default case를 갖지 않는 switch case 표현식이 있는지 검사)
검사 ID: mathworks.misra.SwitchDefault
기본 케이스가 없는 switch case 표현식을 식별하세요.
설명
이 검사는 default case를 갖지 않는 switch case 표현식이 있는 모델 객체를 플래그합니다.
이 검사의 권장 사항을 따르면 임베디드 애플리케이션을 위한 MISRA C:2012 호환 코드는 물론, CERT C, CWE, ISO/IEC TS 17961 표준을 준수하는 코드를 생성할 가능성이 높아집니다.
default case를 갖지 않는 블록에 Polyspace® 주석을 사용하여 정당화 사유가 추가된 경우, 이 검사는 그러한 블록을 플래그하지 않습니다. 검사를 실행하면 Blocks with justification 테이블에는 default case를 갖지 않으면서 정당화 사유가 추가된 블록이 나열됩니다.
Embedded Coder® 및 Simulink® Check™와 함께 사용 가능합니다.
결과 및 권장 조치
상태 | 권장 조치 |
---|---|
모델 객체에 default case를 갖지 않는 switch case 표현식이 있습니다. | Switch Case 블록의 경우 블록 파라미터 default case 표시를 선택하여 default case를 명시적으로 지정하는 것을 고려하세요. |
기능 및 제한 사항
다음을 수행할 수 있습니다:
이 검사를 사용자의 라이브러리 모델에서 실행합니다.
Simulink Check 라이선스가 있는 경우 이 검사에서 블록과 차트를 제외합니다.
편집 시 검사
이 검사는 편집 시 검사로 지원됩니다.
참고 항목
MISRA C:2012, Rule 16.4
ISO/IEC TS 17961: 2013, swtchdflt
CERT C, MSC01-C
CWE, CWE-478
Annotate Code and Hide Known or Acceptable Results (Polyspace Bug Finder)
MISRA C (Embedded Coder)