관계 연산자 사용법 확인

검사 ID: mathworks.jmaab_v6.mp_0023

지침: mp_0023: 관계 연산자를 설명하는 방법

표현식의 관계 연산자와 관련하여 변수 및 상수의 위치를 확인합니다.

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

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

위의 예에서 a은 상수로 간주되고 in 및 b는 변수로 간주됩니다.

이 확인은 다음 대상 구성 요소에 적용됩니다.

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

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

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

분석에 확장자가 .m인 파일을 포함하려면 모델에서 참조된 외부 .m 파일 확인을 선택합니다. 확인란은 기본적으로 선택되어 있습니다.

가이드라인 하위 ID	상태	권장 조치
mp_0023_a1: 변수가 관계 연산자의 왼쪽에 배치되어 있는지 확인	하나 이상의 관계 연산자는 관계 연산자의 오른쪽에 변수가 있고 왼쪽에 상수가 있습니다.	변수가 관계 연산자의 왼쪽에 있고 상수가 오른쪽에 있도록 관계식을 변수와 상수로 다시 작성합니다.
mp_0023_a2: 변수가 관계 연산자의 오른쪽에 배치되어 있는지 확인	하나 이상의 관계 연산자는 관계 연산자의 왼쪽에 변수가 있고 오른쪽에 상수가 있습니다.	변수가 관계 연산자의 오른쪽에 있고 상수가 왼쪽에 있도록 변수와 상수를 사용하여 관계식을 다시 작성합니다.