Check relational operator usage (관계 연산자 사용 검사)

검사 ID: mathworks.jmaab_v6.mp_0023

지침: mp_0023: 관계 연산자 사용 방법

표현식에서 관계 연산자를 기준으로 변수와 상수의 위치를 확인합니다.

상수는 프로그램을 여러 번 실행해도 변경되지 않는 고정된 값을 보관하는 반면, 변수는 프로그램 실행 중에 변경될 수 있는 값을 보관합니다.

function assign(in)
a = 4;
b = a;
in++;
end

위의 예에서 a는 상수로 간주되고, in와 b는 변수입니다.

이 검사는 다음 타깃 컴포넌트에 적용됩니다.

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

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

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

모델에서 참조되는 외부 .m 파일 확인을 선택하여 .m 확장자를 가진 파일을 분석에 포함합니다. 해당 체크박스는 기본적으로 선택되어 있습니다.

지침 하위 ID	상태	권장 조치
mp_0023_a1: Check if variables are placed on the left side of relational operators (mp_0023_a1:변수가 관계 연산자의 왼쪽에 있는지 확인)	하나 이상의 관계 연산자는 오른쪽에 변수를 갖고, 관계 연산자의 왼쪽에는 상수를 갖습니다.	변수와 상수가 있는 관계 표현식을 다시 작성하여 변수가 관계 연산자의 왼쪽에, 상수가 오른쪽에 오도록 하세요.
mp_0023_a2: Check if variables are placed on the right side of relational operators (mp_0023_a2:변수가 관계 연산자의 오른쪽에 있는지 확인)	하나 이상의 관계 연산자는 관계 연산자의 왼쪽에 변수, 오른쪽에 상수를 갖습니다.	변수와 상수가 있는 관계 표현식을 다시 작성하여 변수가 관계 연산자의 오른쪽에 있고, 상수가 왼쪽에 있도록 하세요.