Check usage of internal transitions in Stateflow states (Stateflow 상태에서의 내부 천이 사용 검사)

검사 ID: mathworks.jmaab.jc_0763

지침: jc_0763: 다중 내부 천이 사용

여러 개의 내부 천이를 사용하는 Stateflow 상태를 식별합니다.

이 검사에는 Simulink^® Check™ 및 Stateflow^® 라이선스가 필요합니다.

이 검사에는 MAB 및 JMAAB 모델링 지침에 지정된 하위 ID에 해당하는 하위 검사가 포함되어 있습니다. 모델 어드바이저 구성 편집기를 사용하여 실행할 하위 ID(하나 또는 여러 개)를 지정할 수 있습니다.

참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.

참고

하위 검사 jc_0763_a1이 기본적으로 선택되어 있습니다.

지침 하위 ID	상태	권장 조치
jc_0763_a1:Check for multiple internal transitions (jc_0763_a1:다중 내부 천이가 있는지 검사)	하나 이상의 Stateflow 상태에 여러 개의 내부 천이가 있습니다.	여러 개의 내부 천이를 사용하지 않도록 리모델링하세요.
jc_0763_a2:Check order of multiple internal transitions (jc_0763_a2:다중 내부 천이의 순서 검사)	하나 이상의 Stateflow 상태에서 여러 개의 내부 천이가 실행 순서대로 배치되지 않았습니다.	실행 순서대로 위에서 아래로 내부 천이를 배치하는 것을 고려하세요.