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

지정된 최소값 및 최대값 위반 감지

검사 ID: mathworks.sldv.minmax

지정된 최소값과 최대값을 초과하는 신호를 감지합니다.

설명

이 분석에서는 모델 전체와 출력 포트의 중간 신호에 대해 지정된 최소값과 최대값(설계 범위)을 확인합니다. 분석 결과 신호가 설계 범위를 초과하는 것으로 감지되면 결과는 모델에서 오류가 발생한 위치를 식별합니다.

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

결과 및 권장 조치

결과권장 조치
실패, 모델이 호환되지 않음

모델 비호환성을 해결합니다. 참조:

Handle Incompatibilities with Automatic Stubbing (Simulink Design Verifier)도 참조하세요.

모델에서 발견된 최소 및/또는 최대 위반

위반을 일으키는 조건을 보려면 하네스 모델을 생성하십시오. 하네스를 시뮬레이션하면 입력이 오류를 복제합니다. Model Advisor 보고서에서 View test case를 클릭합니다.

참조: