Main Content

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

실행문 설명 확인

검사 ID: mathworks.jmaab_v6.mp_0007

지침: mp_0007: 실행문을 기술하는 방법

설명

실행문이 별도의 줄에 작성되었는지, 각 실행문이 세미콜론으로 끝나는지 확인합니다.

실행 문은 조건문이 아닌 비어 있지 않은 문입니다.

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

  • Simulink®MATLAB Function 블록.

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

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

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

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

매개변수화 확인

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

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

  • JMAAB — a, b

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

결과 및 권장 조치

가이드라인 하위 ID상태권장 조치
mp_0007_a: 각 실행문이 새로운 라인에 작성되었는지 확인하세요.여러 실행문이 한 줄에 작성됩니다.각 실행 문을 별도의 줄에 작성합니다.
mp_0007_b: 각 실행 문 끝에 세미콜론이 있는지 확인하세요. 하나 이상의 실행 문이 세미콜론으로 끝나지 않습니다.각 실행 문 끝에 세미콜론을 추가합니다.

기능 및 제한 사항

  • Stateflow 차트의 상태 및 전환 레이블을 분석하지 않습니다.

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

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

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

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