이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check default transition placement in Stateflow charts (Stateflow 차트에서 디폴트 천이 배치 검사)
검사 ID: mathworks.jmaab.jc_0531
지침: jc_0531: 디폴트 천이
설명
Stateflow® 차트에서 디폴트 천이 배치를 확인합니다.
이 검사에는 Simulink® Check™ 및 Stateflow 라이선스가 필요합니다.
결과 및 권장 조치
| 지침 하위 ID | 상태 | 권장 조치 |
|---|---|---|
| jc_0531_a: Check for default transitions at every level (jc_0531_a: 모든 수준에 디폴트 천이가 있는지 검사) | 모델의 하나 이상의 상태 또는 연결점이 해당 수준에서 디폴트 천이가 없습니다. | 모든 레벨에 최소한 하나의 디폴트 천이가 있는지 확인하세요. |
| jc_0531_b: Check for parallel states having default transitions (jc_0531_b: 디폴트 천이를 갖는 병렬 상태가 있는지 검사) | 모델 내 하나 이상의 병렬 상태에 디폴트 천이가 있습니다. | 병렬 상태에는 디폴트 천이를 사용하면 안 됩니다. |
| jc_0531_c: Check for multiple default transitions at same level (jc_0531_c: 동일한 수준에 다중 디폴트 천이가 있는지 검사) | 모델의 하나 이상의 상태에 동일 수준에서 여러 개의 디폴트 천이가 있습니다. | 동일한 수준에 여러 개의 디폴트 천이가 포함되지 않도록 주의하세요. |
| jc_0531_d: Check for default transitions not connected to top of state or junction (jc_0531_d: 상태 또는 연결점의 상단에 연결되지 않은 디폴트 천이가 있는지 검사) | 모델의 하나 이상의 디폴트 천이가 상태 또는 연결점의 상단 부분에 연결되지 않았습니다. | 디폴트 천이는 상태 또는 연결점의 위쪽 부분에 수직으로 직접 연결되어야 합니다. |
| jc_0531_e: Check for default transitions not positioned at top left within the same level (jc_0531_e: 동일한 수준 내에서 왼쪽 상단에 배치되지 않은 디폴트 천이가 있는지 검사) | 모델에서 디폴트 천이의 하나 이상의 대상 상태 또는 연결점이 왼쪽 상단에 없습니다. | 디폴트 천이의 대상 상태 또는 연결점은 동일 레벨 내의 왼쪽 상단에 위치해야 합니다. |
| jc_0531_f: Check for default transitions exceeding state boundaries (jc_0531_f: 상태 경계를 초과하는 디폴트 천이가 있는지 검사) | 모델의 하나 이상의 디폴트 천이가 상태 경계를 초과합니다. | 디폴트 천이는 상태 경계를 넘어서는 안 됩니다. |
| jc_0531_g: Check for unconditional default transitions. (jc_0531_g: 비조건부 디폴트 천이가 있는지 검사) | 모델에서 하나 이상의 디폴트 천이가 차트 내 해당 수준의 상태에 대해 가드 조건이 없는 단일 경로를 가지고 있지 않습니다. | 비조건부 디폴트 천이 없음 파라미터를 권장 값인 'error'로 설정합니다. |
기능 및 제한 사항
라이브러리 모델에서 실행됩니다.
블록과 차트를 제외할 수 있습니다.
라이브러리에 연결된 블록의 콘텐츠를 분석합니다. 기본적으로 입력 파라미터 Follow links는
on로 설정됩니다.마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 내부 탐색는
그래픽로 설정됩니다.
참고 항목
상태 및 천이 구문 (Stateflow)
