Switch/Case 문에 권장되는 패턴 사용 검사

검사 ID: mathworks.maab.na_0022

지침:

설명

Switch/Case 문에서 상수가 아닌 변수의 사용을 검사합니다.

생성된 코드에서 MATLAB® 함수 블록 입력은 함수형 인수로 전달됩니다. 이 검사는 생성된 코드에서 Switch/Case 문을 평가하여 Case 인수에 비상수 값이 사용되고 있는지 검사합니다.

이 검사를 사용하려면 Simulink® Check™ 라이선스가 필요합니다.

파라미터화 검사

이 모델 어드바이저 검사는 JMAAB 모델링 지침에는 적용되지 않습니다.

이 검사에는 하위 검사가 포함되지 않습니다.

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

  • NA-MAAB — a

  • JMAAB — a

모델 어드바이저 구성 편집기를 사용하면 .m 확장자를 가진 파일을 분석에 포함하도록 이 검사를 구성할 수 있습니다. 이 기능을 활성화하려면 입력 파라미터 섹션에서 모델에서 참조된 외부 .m 파일 검사를 선택하십시오.

결과 및 권장 조치

상태권장 조치
Switch/Case 문에서는 상수가 아닌 변수가 사용됩니다.입력 변수를 상수로 정의하는 것을 고려하십시오.

기능 및 제한 사항

  • 이 검사는 JMAAB v6.0 지침도 구현합니다: mp_0020

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

  • 마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는 graphical로 설정됩니다.

  • 라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는 on으로 설정됩니다.

  • Truth Table (Stateflow) 블록과 Stateflow® 천이 테이블을 지원합니다.

참고 항목