단일 변수 변형 조건 사용 확인

검사 ID: mathworks.maab.na_0037

지침: na_0037: 변형 조건에 대한 단일 변수 사용

조건식에서 단일 변수 사용 확인

둘 이상의 변수가 있는 조건식에 대해 Variant Subsystem, Variant Source, Variant Sink 및 변형 Model 블록을 확인합니다.

참고

na_0037 지침에는 기본 변형이 단일 조건으로 여러 변수를 사용하여 변형 조건식을 작성하는 권장 사항에 대한 예외라고 명시되어 있습니다. 다음을 통해 기본값을 정의할 수 있습니다.

이 검사에서는 전체 조건을 사용하여 정의된 기본값을 구별할 수 없습니다.

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

허용 가능한 변형 조건에 대한 예상 검사 동작의 예는 다음과 같습니다.

패스 케이스 1: 하나의 변형 조건에만 단일 조건의 여러 변수가 있습니다(동일 조건 또는 단일 조건, x==0가 기본 사례로 가정됨).
- var1 IN==0 && OUT==0
- var2 IN==1
패스 케이스 2: 여러 조건이 있는 동일한 변수의 변형 조건:
- var1 IN==0 && IN==1
- var2 OUT==1 && OUT==2

변형 조건 위반에 대한 예상 검사 동작의 예는 다음과 같습니다.

위반 사례 1: 둘 이상의 변형 조건에 단일 조건의 변수가 여러 개 있습니다.
- var1 IN==0 && OUT==0
- var2 IN==1 && OUT==1
위반 사례 2: 두 개 이상의 변형 조건에 여러 조건의 변수가 여러 개 있습니다.
- var1 IN==1 && OUT==2
- var2 IN==2
위반 사례 3: 변형 조건 중 하나는 default이고 다른 하나는 단일 조건의 여러 변수를 갖습니다. 두 개 이상의 기본 변형이 허용되지 않으므로 이는 허용되지 않습니다.
- var1 IN==0 && OUT==0
- var2 default

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

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

상태	권장 조치
조건식에는 둘 이상의 조건 변수가 포함되어 있습니다.	하나의 변형만 사용되도록 모델을 업데이트하는 것이 좋습니다.
조건식 변수 또는 `Simulink.Variant` 개체를 작업 공간에서 찾을 수 없습니다.	모델에 변형을 정의해 보세요.
내 변형 하위 시스템에서 검사가 실행되지 않습니다.	변형 하위 시스템에 대해 Override variant conditions and use following variant를 지웁니다.

기본 변형을 확인하지 않습니다.
Override variant conditions and use following variant를 선택하면 Variant 하위 시스템에서 실행되지 않습니다.
라이브러리 모델에서 실행됩니다.
라이브러리 링크 블록의 내용을 분석합니다.
마스킹된 모든 하위 시스템의 콘텐츠를 분석합니다.