조건식 설명 확인

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

검사 ID: mathworks.jmaab_v6.mp_0022

지침: mp_0022: 조건식을 설명하는 방법

JMAAB v6.0

설명

조건식이 다음 지침을 준수하는지 확인합니다.

while, if 및 if-else 표현식은 단일 논리 값인 true 또는 false로 평가됩니다.
while, if, if-else 또는 switch 표현식의 각 줄에 있는 이진 연산자 수가 허용되는 최대값을 초과하지 않습니다.
이 조건은 이항 연산자에 적용됩니다.
while, if, if-else 또는 switch 표현식에 논리 연산자가 포함되어 있고 표현식 중간에 하나 이상의 줄 바꿈이 있는 경우 다음 조건 중 하나는 다음과 같습니다. 만났다.
- 표현식 중간의 줄 바꿈은 논리 연산자 바로 뒤에 발생합니다.
- 표현식 중간의 줄 바꿈은 논리 연산자 바로 앞에 발생합니다.
이 조건은 논리 연산자에 적용됩니다. &, &&, | 및 ||

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

Simulink^®의 MATLAB Function 블록.
Stateflow^® 차트에 MATLAB^® 함수가 포함되었습니다.
Stateflow MATLAB 차트의 상태, 전이 및 진리표.
모델에서 참조되는 외부 MATLAB 파일입니다.

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

매개변수화 확인

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

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

JMAAB — a, b, c1/c2

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

조건식의 각 줄에 허용되는 최대 이진 연산자 수를 지정하려면 한 줄의 이진 연산자 수 상자에 값을 입력합니다. 기본값은 3입니다.

결과 및 권장 조치

가이드라인 하위 ID	상태	권장 조치
mp_0022_a: 조건식 값 확인	하나 이상의 `while`, `if` 또는 `if-else` 표현식이 단일 논리 값 `true` 또는 `false`로 평가되지 않습니다.	`while`, `if` 및 `if-else` 표현식을 다시 작성하여 단일 논리 값인 `true` 또는 `false`로 평가합니다.
mp_0022_b: 한 줄의 이진 연산자 수 확인	하나 이상의 `while`, `if`, `if-else` 또는 `switch` 표현식의 각 줄에 있는 이진 연산자 수가 허용되는 최대 값을 초과합니다.	`while`, `if`, `if-else` 또는 `switch` 표현식의 각 줄에 있는 이진 연산자 수를 한 줄의 이진 연산자 수 입력 매개변수에 지정된 값으로 제한합니다.
mp_0022_c1: 복잡한 조건식의 형식 확인	논리 연산자를 포함하는 하나 이상의 `while`, `if`, `if-else` 또는 `switch` 표현식이 다음 형식을 만족하지 않습니다. 표현식 중간의 줄 바꿈은 논리 연산자 바로 뒤에 와야 합니다.	`while`, `if`, `if-else` 및 `switch` 표현식을 다시 작성하여 표현식 중간의 각 줄 바꿈이 논리 연산자 바로 뒤에 발생하도록 합니다.
mp_0022_c2: 복잡한 조건식의 형식 확인	논리 연산자를 포함하는 하나 이상의 `while`, `if`, `if-else` 또는 `switch` 표현식이 다음 형식을 만족하지 않습니다. 표현식 중간의 줄바꿈은 논리 연산자 바로 앞에 와야 합니다.	식 중간의 각 줄 바꿈이 논리 연산자 바로 앞에 발생하도록 `while`, `if`, `if-else` 및 `switch` 식을 다시 작성합니다.

기능 및 제한 사항

Stateflow 차트의 상태 및 전환을 분석하지 않습니다.
조건식의 첫 번째 줄 뒤의 코드가 들여쓰기되었는지 확인하지 않습니다. 기본적으로 MATLAB는 들여쓰기를 활성화하고 들여쓰기 크기를 설정합니다. 들여쓰기 크기를 보려면 홈 탭의 환경 섹션에서 기본 설정를 클릭하고 MATLAB > 편집기/디버거 > Tab로 이동합니다. 여기에서 들여쓰기 크기 상자에 입력된 값을 확인합니다.
라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다. 여기,
마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 그래픽로 설정됩니다.
라이브러리 모델에서는 실행되지 않습니다.
블록 및 차트를 제외할 수 있습니다.