이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check description of conditional expressions (조건식 설명 검사)
검사 ID: mathworks.jmaab_v6.mp_0022
지침: mp_0022: 조건식 기술 방법
설명
조건식이 다음 지침을 따르는지 확인합니다.
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에 해당하는 하위 검사가 포함되어 있습니다. 모델 어드바이저 구성 편집기를 사용하여 실행할 하위 ID(하나 또는 여러 개)를 지정할 수 있습니다.
참고로, JMAAB 모델링 표준 기관에서 사용하도록 권장하는 지침 하위 ID는 다음과 같습니다.
JMAAB — a, b, c1/c2
모델에서 참조되는 외부 .m 파일 확인을 선택하여 .m
확장자를 가진 파일을 분석에 포함합니다. 해당 체크박스는 기본적으로 선택되어 있습니다.
조건식의 각 줄에 허용되는 이진 연산자의 최대 개수를 지정하려면 줄에 사용할 수 있는 이진 연산자 수 상자에 값을 입력합니다. 디폴트 값은 3입니다.
결과 및 권장 조치
지침 하위 ID | 상태 | 권장 조치 |
---|---|---|
mp_0022_a: Check value of conditional expression (mp_0022_a: 조건식의 값 검사) | 하나 이상의 while , if 또는 if-else 표현식이 단일 논리 값 true 또는 false 로 평가되지 않습니다. | while , if , 및 if-else 표현식을 다시 작성하여 단일 논리 값인 true 또는 false 로 평가되도록 하세요. |
mp_0022_b: Check number of binary operators in a line (mp_0022_b: 한 라인에 있는 이항 연산자 개수 검사) | 하나 이상의 while , if , if-else 또는 switch 표현식의 각 줄에 있는 이진 연산자의 수가 허용되는 최대값을 초과합니다. | while , if , if-else 또는 switch 표현식의 각 줄에 있는 이진 연산자의 수를 줄에 있는 이진 연산자 수 입력 파라미터로 지정한 값으로 제한합니다. |
mp_0022_c1:Check format of complex conditional expressions (mp_0022_c1:복잡한 조건식의 형식 검사) | 논리 연산자를 포함하는 하나 이상의 표현식 중간의 줄 바꿈은 논리 연산자 바로 뒤에 와야 합니다. | while , if , if-else , 및 switch 표현식을 다시 작성하여 표현식 중간의 각 줄 바꿈이 논리 연산자 바로 뒤에 오도록 하세요. |
mp_0022_c2:Check format of complex conditional expressions (mp_0022_c2:복잡한 조건식의 형식 검사) | 논리 연산자를 포함하는 하나 이상의 표현식 중간의 줄 바꿈은 논리 연산자 바로 앞에 나와야 합니다. | while , if , if-else , 및 switch 표현식을 다시 작성하여 표현식 중간의 각 줄 바꿈이 논리 연산자 바로 앞에 오도록 하세요. |
기능 및 제한 사항
Stateflow 차트의 상태와 천이를 분석하지 않습니다.
조건식의 첫 번째 줄 뒤에 있는 코드가 들여쓰기되었는지 확인하지 않습니다. 기본적으로 MATLAB는 들여쓰기를 활성화하고 들여쓰기 크기를 설정합니다. 들여쓰기 크기를 보려면 홈 탭의 환경 섹션에서 기본 설정를 클릭하고 MATLAB > 편집기/디버거 > Tab로 이동하세요. 여기서 들여쓰기 크기 상자에 입력된 값을 확인하세요.
라이브러리에 연결된 블록의 콘텐츠를 분석합니다. 기본적으로 입력 파라미터 Follow links는
on
로 설정됩니다. 여기,마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 내부 탐색는
그래픽
로 설정됩니다.라이브러리 모델에서는 실행되지 않습니다.
블록과 차트를 제외할 수 있습니다.