이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check for model elements that do not link to requirements (요구 사항에 연결되지 않은 모델 요소가 있는지 검사)
검사 ID: mathworks.hism.hisl_0070
Simulink® 또는 System Composer™ 모델 요소가 요구 사항 문서에 연결되어 있는지 확인하세요.
설명
이 검사는 모델 요소 또는 모델 요소 그룹이 추적성에 대한 엔지니어링 요구 사항이 포함된 문서에 연결되어 있는지 확인합니다.
이 검사에서는 또한 각 컴포넌트가 고유한 요구 사항 링크의 최대 수를 준수하는지 확인하고, 연결된 각 컴포넌트가 다시 자식 객체의 최대 수를 준수하는지 확인합니다.
컴포넌트 — 컴포넌트는 모델 요소의 그룹입니다. 컴포넌트는 다음과 같이 추가로 정의될 수 있습니다.
Simulink에서 컴포넌트는 최상위 블록 다이어그램, 서브시스템, MATLAB 함수 또는 영역 주석입니다.
Stateflow®에서 컴포넌트는 차트, 상위 상태, 상자, Simulink 함수, 그래픽 함수, Simulink 상태, MATLAB 함수 또는 진리표입니다.
MATLAB®에서는 컴포넌트는 함수입니다.
System Composer에서 컴포넌트는 Component 블록, Adapter 블록 또는 시퀀스 다이어그램입니다.
자식 객체 — 자식 객체는 다음과 같이 정의할 수 있습니다.
Simulink에서 자식 객체는 서브시스템을 제외하고 요구 사항 링크가 없는 모든 모델 요소입니다.
Stateflow에서 자식 객체는 서브시스템을 제외하고 요구 사항 링크가 없는 상태, 상자, 그래픽 함수, 내장된 MATLAB 함수, 진리표, 서브차트, 아토믹 서브차트입니다. 예외는 Simulink 기반 상태와 Simulink 함수입니다.
MATLAB에서 자식 객체는 각 MATLAB 함수 내에 포함된 코드 줄입니다.
System Composer에서 자식 객체는 요구 사항 링크가 없는 System Composer 컴포넌트와 Adapter 블록입니다.
Simulink Check™와 함께 사용 가능합니다.
이 검사에는 Requirements Toolbox™ 라이선스가 필요합니다.
파라미터화 검사
다음 구성은 모델 어드바이저 구성 편집기를 통해 설정할 수 있습니다.
입력 파라미터 Check Behavior을 통해 컴포넌트 수준 또는 제외되지 않은 모델 요소 수준에서 요구 사항 링크를 요청하도록 검사 동작을 설정할 수 있습니다. 기본적으로 값은 컴포넌트에 대한 요구 사항 링크만 검사합니다(HISL_0070)으로 설정됩니다.
요소당 허용되는 최대 요구 사항 링크 수는 입력 파라미터 모델 요소별 최대 요구 사항 링크 수를 통해 설정할 수 있습니다. 기본적으로 값은 5로 설정됩니다.
Simulink에서 연결된 컴포넌트당 허용되는 자식 객체의 최대 수는 입력 파라미터 Simulink/System Composer에서 연결된 컴포넌트별 최대 자식 객체 수를 통해 설정할 수 있습니다. 기본적으로 값은 100으로 설정됩니다.
Stateflow에서 연결된 컴포넌트당 허용되는 자식 객체의 최대 수는 입력 파라미터 Stateflow에서 연결된 컴포넌트별 최대 자식 객체 수를 통해 설정할 수 있습니다. 기본적으로 값은 100으로 설정됩니다.
연결된 MATLAB 함수당 허용되는 최대 코드 줄 수는 입력 파라미터 연결된 MATLAB 함수별 최대 코드 라인 수를 통해 설정할 수 있습니다. 기본적으로 값은 200으로 설정됩니다.
요구 사항 링크에서 제외될 수 있는 모델 요소는 입력 파라미터 요구 사항 링크에서 제외된 모델 요소 목록를 통해 설정할 수 있습니다. 기본적으로 다음 블록 목록이 파라미터에 포함됩니다. 요구 사항에 맞게 블록을 추가하거나 제거할 수도 있습니다.
Ground
Terminator
Inport
Outport
InportShadow
Goto
From
Mux
Demux
CMBlock
DocBlock
System Requirements
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
| 모델 요소나 모델 요소 그룹이 요구 사항 문서에 연결되지 않았습니다. | 모델의 각 모델 요소에 대해 모델 편집기에서 모델 요소를 마우스 오른쪽 버튼으로 클릭하고 요구 사항을 선택한 후 요구 사항을 지정합니다. |
| 모델 요소에 설정된 임계값을 초과하는 링크 요구 사항이 있습니다. | 모델 요소가 요구 사항에 대한 최대 링크에 대한 설정된 임계값을 초과하지 않는지 확인하세요. |
| 요구 사항과 연결된 모델의 컴포넌트가 자식 객체 수에 대한 임계값을 초과합니다. | 요구 사항과 연결된 컴포넌트가 자식 객체 수의 임계값을 초과하지 않는지 확인하세요. |
기능 및 제한 사항
라이브러리 모델에서 실행됩니다.
라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 링크 따르기는
off로 설정됩니다.작업 공간이나 대화 상자가 없는 마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 아래 보기는
모두로 설정됩니다.블록과 차트를 제외할 수 있습니다.
Stateflow 요소를 제외하는 것을 허용하지 않습니다.
이 검사는 MATLAB 함수 헤더나 전체 MATLAB 함수 본문에 추가된 요구 사항만 확인합니다.
이 검사는 요구 사항 링크가 최상위 라이브러리 링크와 모델 참조에 배치되었는지 확인합니다.
검사 보고서는 추적성 매트릭스를 열기 위한 권장 작업 탭에 링크를 제공합니다.
모델 어드바이저 리포트에서는 시퀀스 다이어그램을 강조 표시할 수 없습니다.
팁
검사하려는 최상위 모델이나 서브시스템에서 이 검사를 실행하세요.
참고 항목
Link Requirements (Requirements Toolbox)
