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

0으로 나누기 감지

검사 ID: mathworks.sldv.divbyzero

모델에서 0으로 나누기 오류를 감지합니다.

설명

이 검사는 0으로 나누기 오류를 일으키는 모델의 작업을 식별합니다.

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

결과 및 권장 조치

결과	권장 조치
실패, 모델이 호환되지 않음	모델 비호환성을 해결합니다. 참조: Supported and Unsupported Simulink Blocks in Simulink Design Verifier (Simulink Design Verifier) Support Limitations for Model Blocks (Simulink Design Verifier) Support Limitations of Simulink Design Verifier for Simulink Software Features (Simulink Design Verifier) Support Limitations for Stateflow Software Features (Simulink Design Verifier) Support Limitations for MATLAB for Code Generation (Simulink Design Verifier) Handle Incompatibilities with Automatic Stubbing (Simulink Design Verifier)도 참조하세요.
모델에서 0으로 나누기 발견	0으로 나누는 조건을 보려면 하네스 모델을 생성합니다. 하네스를 시뮬레이션하면 입력이 오류를 복제합니다. Model Advisor 보고서에서 View test case를 클릭합니다.

참조:

• 미스라 C:2012: 지침 4.1

• ISO/IEC TS 17961: 2013년, 다이버

• CERT C, INT33-C 및 FLP03-C

• CWE, CWE-369

• Secure Coding (Embedded Coder)

• Detect and Address Bugs (Simulink Design Verifier)

• Detect Integer Overflow and Division-by-Zero Errors (Simulink Design Verifier)

• hisl_0067: Protect against divide-by-zero calculations