Stateflow 차트에서 부동소수점 표현식 사용 검사

검사 ID: mathworks.maab.jc_0481

지침: jc_0481: Stateflow^®에서 부동소수점 숫자에 엄격한 등식 비교 사용

표현식의 한 변 이상이 부동소수점 변수 또는 상수인 경우, 등가 연산(==)이 포함된 표현식을 식별합니다.

이 검사를 사용하려면 Simulink^® Check™ 및 Stateflow 라이선스가 필요합니다.

MAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.

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

상태	권장 조치
표현식은 동등 비교 연산(`==`, `!=`, `~=`)을 사용하는데, 표현식의 한 변 이상이 부동소수점 변수 또는 상수입니다.	부동소수점 표현식 간의 동등 비교 연산을 피하기 위해 지정된 표현식을 수정하십시오.
모델 어드바이저는 등식 연산이 포함된 표현식의 데이터형을 결정할 수 없습니다.	모델 어드바이저가 데이터형을 결정할 수 있도록 지정된 표현식을 명시적으로 형변환하십시오.

라이브러리 모델에서는 실행되지 않습니다.
라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는 on으로 설정됩니다.
마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는 graphical로 설정됩니다.
블록과 차트를 제외할 수 있습니다.
Truth Table (Stateflow) 블록과 Stateflow 천이 테이블을 지원하지 않습니다.