주요 콘텐츠

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

Check Stateflow charts for uniquely defined data objects (Stateflow 차트에 고유하게 정의된 데이터 객체가 있는지 검사)

검사 ID: mathworks.hism.hisl_0061

고유하게 정의되지 않은 데이터 객체가 포함된 Stateflow® 차트를 식별합니다.

설명

이 검사는 고유하게 정의되지 않은 Stateflow 차트의 로컬 데이터에 대한 모델을 검색합니다.

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

이 검사에는 Stateflow 라이선스가 필요합니다.

결과 및 권장 조치

상태권장 조치
Stateflow 차트에는 두 개 이상의 범위에서 정의된 데이터 객체 식별자가 포함되어 있습니다.

식별된 차트에 대해 다음 중 하나를 수행합니다.

  • 각 범위 내에서 고유한 데이터 객체 식별자를 만듭니다.

  • 차트 내에서 부모 수준에서 고유한 데이터 객체 식별자를 만듭니다.

기능 및 제한 사항

  • 이 검사는 Simulink 신호에 대한 고유 식별자 사용을 찾지 않습니다.

  • 라이브러리 모델에서 실행됩니다.

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

  • 마스크 처리된 모든 서브시스템의 내용을 분석합니다.

  • 블록이나 차트 제외를 허용하지 않습니다.

참고 항목