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: 비조건부 디폴트 천이가 있는지 검사 | 모델에서 하나 이상의 디폴트 천이가 차트 내 해당 수준의 상태에 대해 가드 조건이 없는 단일 경로를 가지고 있지 않습니다. | 비조건부 디폴트 천이 없음 파라미터를 권장 값인 '오류'로 설정하십시오. |
기능 및 제한 사항
라이브러리 모델에서 실행됩니다.
블록과 차트를 제외할 수 있습니다.
라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는
on으로 설정됩니다.마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는
graphical로 설정됩니다.
참고 항목
상태 및 천이 구문 (Stateflow)
