Main Content

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

비어 있지 않은 문의 사용법을 확인하세요.

검사 ID: mathworks.jmaab_v6.mp_0047

지침: mp_0047: 비어 있지 않은 문이 충족되는 조건

설명

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

  • 전체 코드에 하나 이상의 영향을 미치지 않습니다.

  • 프로그램의 제어 흐름을 변경하는 기능이 없습니다.

참고

이 검사에서는 비어 있지 않은 문을 빈 코드 줄과 세미콜론이 아닌 문으로 간주합니다.

예를 들어, 다음 명령문은 코드에 영향을 미치지 않습니다. bar 변수는 나중에 사용하기 위해 결과를 저장하지 않고 숫자와 비교되기 때문입니다.

bar == 1;

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

  • Simulink®의 MATLAB Function 블록.

  • MATLAB®는 Stateflow® 차트의 함수입니다.

  • Stateflow MATLAB 차트의 상태, 전이 및 진리표.

  • 모델에서 참조되는 외부 MATLAB 파일입니다.

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

매개변수화 확인

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

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

  • JMAAB — a

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

결과 및 권장 조치

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

기능 및 제한 사항

  • 라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.

  • 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 모든로 설정됩니다.

  • 라이브러리 모델에서 실행됩니다.

  • 블록 및 차트를 제외할 수 있습니다.