이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
단일 변수 변형 조건 사용 확인
검사 ID: mathworks.maab.na_0037
지침: na_0037: 변형 조건에 대한 단일 변수 사용
설명
조건식에서 단일 변수 사용 확인
둘 이상의 변수가 있는 조건식에 대해 Variant Subsystem, Variant Source, Variant Sink 및 변형 Model 블록을 확인합니다.
참고
na_0037 지침에는 기본 변형이 단일 조건으로 여러 변수를 사용하여 변형 조건식을 작성하는 권장 사항에 대한 예외라고 명시되어 있습니다. 다음을 통해 기본값을 정의할 수 있습니다.
블록 매개변수 Variant 제어에서
(디폴트 값)
을 선택합니다.철저한 조건을 지정합니다.
이 검사에서는 전체 조건을 사용하여 정의된 기본값을 구별할 수 없습니다.
이 검사에는 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는 다음과 같습니다.
NA-MAAB —
JMAAB - a
결과 및 권장 조치
상태 | 권장 조치 |
---|---|
조건식에는 둘 이상의 조건 변수가 포함되어 있습니다. | 하나의 변형만 사용되도록 모델을 업데이트하는 것이 좋습니다. |
조건식 변수 또는 | 모델에 변형을 정의해 보세요. |
내 변형 하위 시스템에서 검사가 실행되지 않습니다. | 변형 하위 시스템에 대해 Override variant conditions and use following variant를 지웁니다. |
기능 및 제한 사항
기본 변형을 확인하지 않습니다.
Override variant conditions and use following variant를 선택하면 Variant 하위 시스템에서 실행되지 않습니다.
라이브러리 모델에서 실행됩니다.
라이브러리 링크 블록의 내용을 분석합니다.
마스킹된 모든 하위 시스템의 콘텐츠를 분석합니다.