모델 구성요소 테스트하기

구성요소 테스트 데이터 관리, SIL 또는 PIL 시뮬레이션에서 테스트 스위트 실행, Model Verification 블록 구성, Polyspace^® 분석을 위한 옵션 파일 생성

모델에서 참조된 모델, 서브시스템 또는 아토믹 서브차트를 분석하고 시뮬레이션합니다. 서브시스템 또는 참조된 모델을 하네스 모델로 추출하여 테스트를 위해 분리합니다. 블록에 할당한 사양에 따라 시뮬레이션 중에 모델의 시간 영역 신호를 모니터링합니다. 신호 검증을 구성하고 시뮬레이션 입력 그룹을 기반으로 선택적으로 적용합니다. Polyspace를 사용하여 Simulink^® 모델에서 생성된 코드를 분석할 용도로 옵션 파일을 생성하고 패키징합니다. 패키징된 옵션 파일은 생성된 코드의 Polyspace 분석이 Simulink와 별도로 수행되는 경우에 유용합니다. 예를 들어, 분산 워크플로에서는 Polyspace 분석이 Simulink가 설치되지 않은 환경에서 수행될 수도 있습니다. 패키징된 옵션 파일을 사용하면 생성된 코드의 모델별 컨텍스트가 유지됩니다.

블록

Assertion	Check whether signal is zero
Check Discrete Gradient	Check that absolute value of difference between successive samples of discrete signal is less than specified value
Check Dynamic Gap	Check that gap of possibly varying width occurs in range of signal's amplitudes
Check Dynamic Lower Bound	Check that one signal is always less than another signal
Check Dynamic Range	Check that signal falls inside range of amplitudes that varies from time step to time step
Check Dynamic Upper Bound	Check that one signal is always greater than another signal
Check Input Resolution	Check that input signal has specified resolution
Check Static Gap	Check that gap exists in signal's range of amplitudes
Check Static Lower Bound	Check that signal is greater than (or optionally equal to) static lower bound
Check Static Range	Check that signal falls inside fixed range of amplitudes
Check Static Upper Bound	Check that signal is less than (or optionally equal to) static upper bound

함수

`polyspacePackNGo`	Generate and package options files to run Polyspace analysis on code generated from Simulink model (R2020b 이후)
`pslinkoptions`	Create an options object to customize configuration of a Simulink model, generated code or a S-Function block. Use the object to specify configuration options for these Simulink objects in a Polyspace run from the MATLAB command line

도움말 항목

Component Verification
Strategies for verifying functional units of your model, in isolation or in a larger system.
Run Polyspace Analysis on Generated Code by Using Packaged Options Files
Generate Polyspace options files from a Simulink model, and use these options files to analyze generated code by using Polyspace.
Analyze Code Generated as Standalone Code in a Distributed Workflow
Tutorial showing Polyspace analysis of standalone generated code by using packaged options files in a distributed workflow.