주요 콘텐츠

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

데드 로직 감지

검사 ID: mathworks.sldv.deadlogic

시뮬레이션 중에 비활성 상태로 유지되는 로직을 식별합니다.

설명

이 검사는 시뮬레이션 중에 비활성 상태로 유지되는 모델 부분을 식별합니다.

Simulink® Design Verifier™ 설계 오류 감지를 사용하여 데드 로직과 활성 로직을 모두 식별하는 보다 자세한 분석을 실행할 수 있습니다. 자세한 내용은 Detect Dead Logic Caused by an Incorrect Value (Simulink Design Verifier)를 참조하세요.

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

결과 및 권장 조치

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

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

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

모델에서 죽은 논리가 발견되었습니다.Simulink Design Verifier은 이러한 결정 및 조건 결과가 발생할 수 없으며 모델에서 죽은 논리임을 입증했습니다. 데드 로직은 매개변수에 대한 지정된 제약 조건이나 입력 포트에 대한 지정된 최소 및 최대 제약 조건의 부작용일 수도 있습니다. 드문 경우지만, Simulink Design Verifier에 의해 수행된 근사치로 인해 데드 로직이 발생할 수 있습니다. 이 분석에서 결정하지 않은 목표가 있을 수도 있습니다. 이 분석 결과를 확장하려면 Simulink Design Verifier 설계 오류 감지를 사용하여 활성 논리도 식별합니다. Simulink 편집기에서 > Design Verifier > 설정를 선택합니다. 구성 파라미터 창의 Design Verifier > Design Error Detection 창에서 Dead logic (partial)를 선택하거나 DVDetectDeadLogic DVDetectActiveLogicon로 설정합니다.
모델에서 데드 로직을 찾을 수 없습니다.Simulink Design Verifier은 모델에서 데드 로직을 찾지 못했습니다. 이 분석에서 결정하지 않은 목표가 있을 수도 있습니다. 이 분석 결과를 확장하려면 Simulink Design Verifier 설계 오류 감지를 사용하여 활성 논리도 식별합니다. Simulink 편집기에서 > Design Verifier > 설정를 선택합니다. 구성 파라미터 창의 Design Verifier > Design Error Detection 창에서 Dead logic (partial)를 선택하거나 DVDetectDeadLogic DVDetectActiveLogicon로 설정합니다.

참조: