Main Content

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

MISRA C:2012의 구성 매개변수를 확인하세요.

검사 ID: mathworks.misra.CodeGenSettings

MISRA C:2012 준수 코드 생성에 영향을 미칠 수 있는 구성 매개변수를 식별합니다.

설명

이 검사의 권장 사항을 따르면 임베디드 애플리케이션에 대한 MISRA C:2012 호환 코드를 생성할 가능성이 높아집니다.

Embedded Coder® 및 Simulink® Check™로 제공됩니다.

결과 및 권장 조치

상태권장 조치
수학 연산 및 데이터형
구성 매개변수 고정소수점 순 기울기 계산에 나눗셈 사용:가 켜기 또는 정수의 역수에만 나눗셈 사용로 설정되지 않았습니다.고정소수점 순 기울기 계산에 나눗셈 사용:를 켜기 또는 정수의 역수에만 나눗셈 사용로 설정합니다.

구성 매개변수 Inf 또는 NaN 블록 출력:는 안 함 또는 오류로 설정되고 유한하지 않은 숫자 지원는 켜기로 설정됩니다.

구성 매개변수 Inf 또는 NaN 블록 출력:는 안 함로 설정되고 유한하지 않은 숫자 지원는 끄기로 설정됩니다.

유한하지 않은 숫자 지원가 다음과 같은 경우:

  • 켜기, Inf 또는 NaN 블록 출력:를 경고로 설정

  • 끄기, Inf 또는 NaN 블록 출력:를 경고 또는 오류로 설정

구성 매개변수 Model Verification 블록 활성화:은 로컬 설정 사용 또는 모두 활성화로 설정됩니다.Model Verification 블록 활성화:을 모두 사용 안 함로 설정합니다.
구성 매개변수 무방향 이벤트 브로드캐스트:는 안 함 또는 경고로 설정됩니다.무방향 이벤트 브로드캐스트:를 오류로 설정합니다.
구성 매개변수 오버플로 시 래핑:가 안 함로 설정되었습니다.구성 매개변수 오버플로 시 래핑:를 경고 또는 오류로 설정합니다.
하드웨어 구현
구성 매개변수 프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식:가 정의되지 않음로 설정되었습니다.프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식:을 0(영) 또는 내림로 설정합니다.
구성 매개변수 산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행가 선택되었습니다.산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행을 삭제합니다.
시뮬레이션 타깃
구성 매개변수 MATLAB 함수에 대한 컴파일타임 재귀 제한:가 0 이외의 값으로 설정되었습니다.MATLAB 함수에 대한 컴파일타임 재귀 제한:을 0로 설정합니다.
구성 매개변수 MATLAB 함수의 동적 메모리 할당가 선택되었습니다.MATLAB 함수의 동적 메모리 할당을 삭제합니다.
구성 매개변수 MATLAB 함수에 대한 런타임 재귀 활성화가 선택되었습니다.MATLAB 함수에 대한 런타임 재귀 활성화를 삭제합니다.
코드 생성

다음 매개변수 중 하나를 선택하면 구성 매개변수 비트 필드 선언자 유형 지정자:이 uchar_T로 설정됩니다.

  • 부울 데이터를 비트 필드로 패킹

  • 상태 구성 저장에 bitset 사용

  • 부울 데이터 저장에 bitset 사용

비트 필드 선언자 유형 지정자:을 uint_T로 설정합니다.
구성 매개변수 형변환 모드:가 표준 준수로 설정되지 않았습니다.형변환 모드:를 표준 준수로 설정합니다.
구성 매개변수 코드 대체 라이브러리가 안 함 또는 AUTOSAR 4.0로 설정되지 않았습니다.

코드 대체 라이브러리를 안 함 또는 AUTOSAR 4.0로 설정

구성 매개변수 외부 모드가 선택되었습니다.외부 모드을 삭제합니다.
구성 매개변수 공유 상수 생성가 선택되었습니다.공유 상수 생성를 삭제하세요.

구성 매개변수 주석 포함가 지워졌습니다.

주석 포함를 선택합니다.
구성 매개변수 MAT 파일 기록가 선택되었습니다.

MAT 파일 기록 지우기

ERT 기반 대상 시스템의 경우 구성 매개변수 MATLAB 사용자 주석가 지워집니다.MATLAB 사용자 주석를 선택합니다.
구성 매개변수 최대 식별자 길이의 값이 제공되지 않았습니다.값을 구현에 따른 한계로 설정하십시오. 기본값은 31입니다.
구성 매개변수 괄호 수준:이 Standards(Parentheses for Standards Compliance) 또는 Maximum(Specify precedence with parentheses)로 설정되지 않았습니다.괄호 수준:을 Standards(Parentheses for Standards Compliance) 또는 Maximum(Specify precedence with parentheses)로 설정합니다.

ERT 기반 대상 시스템의 경우 파일 패키징 형식:가 compact 또는 콤팩트(별도 데이터 파일 포함)로 설정되면 구성 매개변수 함수 선언에 정적 키워드 유지가 지워집니다.

함수 선언에 정적 키워드 유지를 선택합니다.
구성 매개변수 2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기가 선택되었습니다.2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기을 삭제하세요.
구성 매개변수 공유 코드 배치:는 자동로 설정됩니다.

공유 코드 배치:을 공유 위치로 설정

ERT 기반 대상 시스템의 경우 구성 매개변수 연속시간 지원가 선택됩니다. 연속시간 지원을 삭제합니다.
ERT 기반 대상 시스템의 경우 구성 매개변수 인라인이 아닌 S-Function 지원가 선택됩니다. 인라인이 아닌 S-Function 지원를 삭제하세요.
구성 매개변수 도달할 수 없는 경우 switch 문에 대한 default case의 코드 생성 차단가 선택되었습니다.도달할 수 없는 경우 switch 문에 대한 default case의 코드 생성 차단를 삭제하세요.
구성 매개변수 시스템 생성 식별자:는 기본로 설정됩니다.시스템 생성 식별자:를 축약 방식로 설정합니다.
구성 매개변수 시스템 타깃 파일는 GRT 기반 대상으로 설정됩니다.시스템 타깃 파일를 ERT 기반 대상으로 설정합니다.
코드 인터페이스 패키징가 재사용 가능 함수로 설정된 경우 구성 매개변수 모델 초기화용 동적 메모리 할당 사용이 선택됩니다.

모델 초기화용 동적 메모리 할당 사용를 삭제하세요.

참고

코드 인터페이스 패키징가 재사용 가능 함수로 설정된 경우에만 선택하세요.

조치 결과

모두 수정을 클릭하면 매개변수 값이 권장 값으로 변경됩니다.

참고

GRT 기반 대상이 있는 모델에 대해 모두 수정을 클릭하면 Model Advisor는 시스템 타깃 파일 구성 매개변수를 ERT 기반 시스템으로 업데이트하지 않습니다.

매개변수 하위 검사는 결과 테이블에 D로 표시된 매개변수의 결과에 따라 달라집니다. 결과가 "D-Warning"이면 결과 테이블의 현재 값 열에 하위 검사에 대한 "전제 조건 제약 조건이 충족되지 않음"이라고 표시됩니다. 매개변수를 변경한 후 검사를 다시 실행하십시오.

참고

일부 하위 검사는 ERT 기반 시스템의 구성 매개변수에만 적용됩니다. 모델을 ERT 기반 시스템으로 변경하지 않는 한 모두 수정을 클릭해도 이러한 매개변수는 업데이트되지 않습니다.

기능 및 제한 사항

다음 매개변수 설정은 확인 시 정보 제공용입니다.

  • BooleansAsBitfields

  • CodeInterfacePackaging

  • ERTFilePackagingFormat

  • SupportNonFinite

이 검사에서는 참조 모델을 검토하지 않습니다.

참조: