Main Content

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

Stateflow 차트에서 기본 전환 배치 확인

검사 ID: mathworks.jmaab.jc_0531

지침: jc_0531: 기본 전환

설명

Stateflow® 차트에서 기본 전환 배치를 확인합니다.

이 확인에는 Simulink® Check™ 및 Stateflow 라이센스가 필요합니다.

결과 및 권장 조치

지침 하위 ID상태권장 조치
jc_0531_a: 모든 레벨에서 기본 전환 확인모델에 있는 하나 이상의 상태 또는 교차점에는 해당 수준에 기본 전환이 없습니다.모든 수준에 기본 전환이 하나 이상 있는지 확인하세요.
jc_0531_b: 기본 전환이 있는 병렬 상태 확인모델의 하나 이상의 병렬 상태에는 기본 전환이 있습니다.병렬 상태에는 기본 전환을 사용하면 안 됩니다.
jc_0531_c: 동일한 레벨에서 여러 기본 전환을 확인하세요.모델의 하나 이상의 상태에는 동일한 수준에 여러 개의 기본 전환이 있습니다.동일한 레벨에 여러 기본 전환이 포함되지 않았는지 확인하세요.
jc_0531_d: 상태 또는 교차점의 상단에 연결되지 않은 기본 전환을 확인하십시오.모델의 하나 이상의 기본 전이가 상태 또는 연결점의 상단 부분에 연결되어 있지 않습니다.기본 전환은 상태 또는 교차점의 상단 부분에 수직으로 직접 연결되어야 합니다.
jc_0531_e: 동일한 레벨 내에서 왼쪽 상단에 배치되지 않은 기본 전환을 확인하세요.모델에서 하나 이상의 대상 상태 또는 기본 전환의 교차점이 왼쪽 상단에 없습니다.기본 전환의 대상 상태 또는 교차점은 동일한 수준 내에서 왼쪽 상단에 배치되어야 합니다.
jc_0531_f: 상태 경계를 초과하는 기본 전환 확인모델의 하나 이상의 기본 전환이 상태 경계를 초과합니다.기본 전환은 상태 경계를 초과해서는 안 됩니다.
jc_0531_g: 무조건 기본 전환 확인모델에 있는 하나 이상의 기본 전환에는 차트 수준의 상태에 대한 단일 비보호 경로가 없습니다.비조건부 디폴트 천이 없음: 매개변수를 권장 값 'error'로 설정합니다.

기능 및 제한 사항

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

  • 블록 및 차트를 제외할 수 있습니다.

  • 라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.

  • 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 그래픽로 설정됩니다.

참조:

상태 및 천이 구문 (Stateflow)