Main Content

이 번역 페이지는 최신 내용을 담고 있지 않습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.

모델 구성요소 테스트하기

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

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

블록

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

함수

polyspacePackNGoGenerate and package options files to run Polyspace analysis on code generated from Simulink model
pslinkoptionsCreate 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.

Construct Simulation Tests by Using the Verification Manager

Simulink Model Verification library blocks assess time-domain signals in your model, according to the specifications that you assign to the blocks.

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.