이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
MISRA C:2012 코딩 표준에 대한 Model Advisor 검사
모델 또는 하위 시스템이 MISRA C:2012 호환 코드 open the Model Advisor를 생성하고 작업별 > MISRA C:2012의 모델링 지침에서 검사를 실행할 수 있는지 확인하려면. 또한 MISRA C:2012에 대한 높은 무결성 모델링 지침에 해당하는 Model Advisor 검사 사용을 고려해보세요. 자세한 내용은 MISRA C:2012 규정 준수 관련 고려 사항를 참조하세요.
이러한 검사를 실행하려면 Embedded Coder® 또는 Simulink® Check™가 필요합니다.
모델 어드바이저 확인 | ID 확인 |
---|---|
MISRA C:2012의 구성 매개변수를 확인하세요. | mathworks.misra.CodeGenSettings |
C/C++ 프로덕션 코드 배포에 권장되지 않는 블록을 확인하세요. | mathworks.codegen.PCGSupport |
MISRA C:2012에 권장되지 않는 블록을 확인하세요. | mathworks.misra.BlkSupport |
지원되지 않는 블록 이름을 확인하세요. | mathworks.misra.BlockNames |
할당 블록 사용량 확인 | mathworks.misra.AssignmentBlocks |
기본 케이스가 없는 스위치 케이스 표현식을 확인하세요. | mathworks.misra.SwitchDefault |
AUTOSAR 수신기 인터페이스에 누락된 오류 포트가 있는지 확인하세요. | mathworks.misra.AutosarReceiverInterface |
부호 있는 정수에 대한 비트 연산을 확인하세요. | mathworks.misra.CompliantCGIRConstructions |
재귀 함수 호출 확인 | mathworks.misra.RecursionCompliance |
부동 소수점 값에 대한 동등 및 부등 연산 확인 | mathworks.misra.CompareFloatEquality |
모델 함수에 누락된 const 한정자가 있는지 확인하세요. | mathworks.misra.ModelFunctionInterface |
정수 단어 길이 확인 | mathworks.misra.IntegerWordLengths |
mathworks.misra.BusElementNames | |
기본 선택이 없는 변형 블록을 확인하세요. | mathworks.misra.DefaultChoiceVariantChecks |