순서도에서 무조건 전환 사용 확인

검사 ID: mathworks.jmaab.jc_0773

지침: jc_0773: 순서도의 무조건 전환

순서도에서 무조건적인 전환을 식별합니다.

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

이 검사에는 MAB 및 JMAAB 모델링 지침에 지정된 하위 ID에 해당하는 하위 검사가 포함되어 있습니다. Model Advisor Configuration Editor를 사용하여 실행할 하위 ID(1개 또는 여러 개)를 지정할 수 있습니다.

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

가이드라인 하위 ID	상태	권장 조치
jc_0773_a: 조건부 전환이 있는 Stateflow 연결점에서 발생하는 무조건 전환이 있는지 확인하세요.	하나 이상의 Stateflow 연결점에는 해당 연결점에서 발생하는 무조건 전환이 없습니다.	연결점에 무조건 전환을 추가하는 것을 고려하십시오.
jc_0773_b: 무조건 전환의 실행 순서를 확인합니다.	하나 이상의 Stateflow 연결점에는 마지막으로 실행되지 않는 무조건 전환이 있습니다.	교차점에서 가장 높은 값으로의 무조건 전환 실행 순서를 설정하는 것을 고려하십시오.

라이브러리 모델에서 실행됩니다.
블록 또는 차트 제외를 지원합니다.
라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.
마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 그래픽로 설정됩니다.
C를 동작 언어로 사용하는 Stateflow 진리표에서는 검사가 실패하지만 동작 언어가 MATLAB^®로 설정되면 통과됩니다. MATLAB과 동작 언어인 C의 차이점에 대한 자세한 내용은 Differences Between MATLAB and C as Action Language Syntax (Stateflow)를 참조하세요.