주요 콘텐츠

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

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
Check for unsupported block names (지원되지 않는 블록 이름이 있는지 검사)mathworks.misra.BlockNames
Check usage of Assignment blocks (Assignment 블록 사용 검사)mathworks.misra.AssignmentBlocks
Check for switch case expressions without a default case (default case를 갖지 않는 switch case 표현식이 있는지 검사)mathworks.misra.SwitchDefault
AUTOSAR 수신기 인터페이스에 누락된 오류 포트가 있는지 확인하세요.mathworks.misra.AutosarReceiverInterface
Check for bitwise operations on signed integers (부호 있는 정수에 대한 비트별 연산이 있는지 검사)mathworks.misra.CompliantCGIRConstructions
Check for recursive function calls (재귀 함수 호출이 있는지 검사)mathworks.misra.RecursionCompliance
Check for equality and inequality operations on floating-point values (부동소수점 값에 대한 등식 및 부등식 연산이 있는지 검사)mathworks.misra.CompareFloatEquality
모델 함수에 누락된 const 한정자가 있는지 확인하세요.mathworks.misra.ModelFunctionInterface
Check integer word lengths (정수 워드 길이 검사)mathworks.misra.IntegerWordLengths

Check bus object names that are used as bus element names

mathworks.misra.BusElementNames
Check for variant blocks that do not have a default choice (디폴트 선택지를 갖지 않는 Variant 블록이 있는지 검사)mathworks.misra.DefaultChoiceVariantChecks