Main Content

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

조건식의 유형 및 크기 확인

검사 ID: mathworks.hism.himl_0011

설명

이 검사에서는 모델을 평가하여 이러한 조건식에 논리 스칼라가 사용되는지 확인합니다.

  • if 표현식

  • elseif 표현식

  • while 표현식

  • Stateflow® 전환의 조건식

Simulink® Check™로 구매 가능합니다.

결과 및 권장 조치

상태권장 조치

if 표현식은 논리형 스칼라가 아닙니다.

표현식을 논리형 스칼라로 변경합니다.

elseif 표현식은 논리형 스칼라가 아닙니다.

표현식을 논리형 스칼라로 변경합니다.

while 표현식은 논리형 스칼라가 아닙니다.

표현식을 논리형 스칼라로 변경합니다.

Stateflow 전환 표현식의 조건 표현식이 논리 스칼라가 아닙니다.

표현식을 논리형 스칼라로 변경합니다.

조치 결과

결과 테이블은 논리 스칼라가 아닌 표현식이 포함된 각 표현식을 식별합니다. 문제를 검토하려면 결과 테이블에서 해당 기능 링크를 선택하세요. Model Advisor가 열리고 해당 기능 정의가 강조 표시되거나, Stateflow의 경우 차트가 열리고 문제가 발생한 상태가 강조 표시됩니다.

조건 표현식을 논리 스칼라로 수동으로 변경합니다. 모델을 저장하고 검사를 다시 실행하십시오.

기능 및 제한 사항

  • C를 Stateflow 액션 언어로 사용할 때 Stateflow 전환 및 상태 액션의 조건은 확인되지 않습니다.

  • 이 검사는 라이브러리 모델에서는 실행되지 않습니다.

  • 마스크된 하위 시스템의 콘텐츠를 분석합니다.

  • 라이브러리에 연결된 블록의 내용을 분석합니다.

  • 도달할 수 없는 불변 조건과 코드 조각은 분석되지 않을 수 있습니다.

참조: