주요 콘텐츠

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

Check for equality and inequality operations on floating-point values (부동소수점 값에 대한 등식 및 부등식 연산이 있는지 검사)

검사 ID: mathworks.misra.CompareFloatEquality

부동 소수점 값에 대한 등식 및 부등식 연산을 식별합니다.

설명

이 검사는 부동소수점 값에 대해 등식 또는 부등식 연산을 일으키는 소스를 플래그합니다.

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

부동소수점 값에 대해 등식 또는 부등식 연산을 수행하는 블록에 Polyspace® 주석을 사용하여 정당화 사유를 추가한 경우, 이 검사는 그러한 블록은 플래그하지 않습니다. 검사를 실행하면 Blocks with justification 테이블에는 정당화 사유가 추가된 등식 또는 부등식 연산이 있는 블록이 나열됩니다.

Embedded Coder®Simulink® Check™와 함께 사용 가능합니다.

참고

모델에 Stateflow 요소가 포함되어 있는 경우 Stateflow® 라이선스가 필요합니다.

결과 및 권장 조치

상태권장 조치

모델 객체가 부동소수점 값에 대해 등식 또는 부등식 연산을 수행합니다.

등식이나 부등식 연산에는 부동소수점이 아닌 값을 사용하는 것을 고려하세요.

기능 및 제한 사항

다음을 수행할 수 있습니다:

  • Simulink Check 라이선스가 있는 경우 이 검사에서 블록과 차트를 제외합니다.

참고 항목