연산자 우선 순위 검사
검사 ID: mathworks.jmaab_v6.mp_0010
지침: mp_0010: 산술식에서 연산자의 우선 순위
설명
연산자의 우선순위가 다른 표현식에서 연산 순서를 명확히 하기 위해 괄호를 사용하는지 검사합니다.
자세한 내용은 연산자 우선 순위 항목을 참조하십시오.
이 검사는 다음 타깃 컴포넌트의 표현식에 적용됩니다.
Simulink®에 있는 MATLAB Function 블록.
Stateflow® 차트에 내장된 MATLAB® 함수.
Stateflow MATLAB 차트에 있는 상태, 천이, 진리표.
모델에서 참조하는 외부 MATLAB 파일.
이 검사를 사용하려면 Simulink Check™ 라이선스가 필요합니다.
파라미터화 검사
JMAAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.
참고로, JMAAB 모델링 표준 기관에서 사용하도록 권장하는 지침 하위 ID는 다음과 같습니다.
JMAAB — a
모델에서 참조된 외부 .m 파일 검사를 선택하여 .m 확장자를 가진 파일을 분석에 포함합니다. 해당 체크박스는 기본적으로 선택되어 있습니다.
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
| 서로 다른 우선순위의 연산자가 포함된 하나 이상의 식에서 연산 순서를 명확히 하기 위한 괄호가 사용되지 않았습니다. | 괄호를 사용하여 연산 순서를 명확히 하도록 연산자를 다시 작성하십시오. |
기능 및 제한 사항
Stateflow 차트의 상태와 천이 레이블을 분석하지 않습니다.
외부 MATLAB 파일 제외는 지원하지 않습니다.
Stateflow 동작 언어가 C일 때는 분석하지 않습니다.
라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는
on으로 설정됩니다.마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는
all로 설정됩니다.라이브러리 모델에서 실행됩니다.
블록과 차트를 제외할 수 있습니다.
Truth Table (Stateflow) 블록과 Stateflow 천이 테이블을 지원합니다.
