상태 전환 조건에 사용된 변수 업데이트 확인

검사 ID: mathworks.jmaab_v6.jc_0741

지침: jc_0741: 상태 차트 전환 조건에 사용되는 데이터 업데이트 타이밍

상태 전환 조건에 사용되는 변수는 "중" 상태 작업 유형으로 업데이트를 수행해서는 안 됩니다.

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

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

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

가이드라인 하위 ID	상태	권장 조치
jc_0741_a1: 상태 천이 조건에 사용되는 변수는 업데이트를 수행하기 위해 "중"을 사용해서는 안 됩니다.	상태 전이 조건의 변수는 "중" 상태 작업 유형별로 업데이트를 수행합니다.	"중" 작업에서 업데이트된 변수를 변경해 보세요.
jc_0741_a2: 상태 천이 조건에 사용되는 변수는 업데이트를 수행하기 위해 "중"을 사용해야 합니다.	상태 전이 조건의 변수는 "중" 상태 작업 유형 없이 업데이트를 수행합니다.	"중" 작업에서 업데이트된 상태 전환 조건에 사용되는 변수를 변경하는 것을 고려해보세요.
jc_0741_b: 동일한 전환 조건에서 업데이트 중인 데이터와 업데이트되지 않는 데이터의 결합 사용	상태 전환 조건에 사용되는 변수에는 "중" 상태 작업 유형에서 업데이트된 데이터와 업데이트되지 않은 데이터의 혼합 사용이 포함됩니다.	전환 조건에서 변수를 변경하는 것을 고려하십시오.