Check for usage of nonempty statements (비어 있지 않은 명령문이 사용되는지 검사)

검사 ID: mathworks.jmaab_v6.mp_0047

지침: mp_0047: 비어 있지 않은 명령문을 사용하기 위해 충족해야 할 조건

다음 조건을 만족하는 비어 있지 않은 명령문이 있는지 확인합니다.

참고

이 검사는 코드 라인이 비어 있지 않고 뒤에 세미콜론이 있는 명령문을 비어 있지 않은 명령문으로 간주합니다.

예를 들어, 다음 명령문은 변수 bar를 숫자와 비교하기만 하고 그 결과를 이후 사용할 수 있도록 저장하지 않기 때문에 코드에 영향을 미치지 않습니다.

bar == 1;

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

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

JMAAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.

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

모델에서 참조하는 .m 파일을 분석에 포함하려면 모델에서 참조된 외부 .m 파일 검사를 선택합니다. 해당 체크박스는 기본적으로 선택되어 있습니다.

상태	권장 조치
하나 이상의 비어 있지 않은 명령문이 전체 코드에 영향을 미치지 않거나 프로그램의 제어 흐름을 변경하지 않습니다.	전체 코드에 영향을 주지 않거나 프로그램의 제어 흐름을 변경하지 않는 비어 있지 않은 명령문을 수정하거나 제거합니다.