search

MATLAB SIMULINK VERIFICATION AND VALIDATION - S manuali

Manuali dei proprietari e guide per l'utente per Software MATLAB SIMULINK VERIFICATION AND VALIDATION - S.
We fornisce 1 manuali pdf MATLAB SIMULINK VERIFICATION AND VALIDATION - S per scaricare gratuitamente in base al tipo di documento: Guida Utente


Matlab SIMULINK VERIFICATION AND VALIDATION - S Guida Utente (674 pagine)


Marchio: Matlab | Categoria: Software | Dimensione: 5.58 MB |

 

Indice

Simulink

1

Verification and Validation™

1

User's Guide

1

How to Contact MathWorks

2

Revision History

3

Contents

5

Synchronization

9

MATLAB Code Traceability

11

Model Component Testing

13

Verification Manager

14

Model Coverage Analysis

15

Model Coverage Definition

15

Results Review

18

Customizing the Model Advisor

22

Create Model Advisor Checks

22

Checks and Folders

24

Configurations

25

Deploy Custom Configurations

25

Getting Started

27

1 Getting Started

28

System Requirements

29

Requirements Traceability

31

Links Between Models and

33

Requirements Link Storage

37

Selection-Based Linking

42

Navigation

44

Requirements Tab

47

Document Index Tab

47

Requirements Settings

48

Requirements Settings

49

Link Model Objects

50

Link Model Objects

51

DocBlock

56

Document

60

Workbook

66

Change Requirements Links

68

MAP sensor test scenario

69

External Storage

94

Reviewing Requirements

101

4 Reviewing Requirements

102

Navigate from Model Object

105

List of Tables

109

Customize Requirements Report

117

Document Path Storage

151

Absolute Path Example

152

Requirements

161

document

161

Requirement

161

IBM Rational DOORS Surrogate

163

Module Synchronization

163

DOORS Database

169

Surrogate Module

180

Navigation from Requirements

183

Documents

183

IBM Rational DOORS

184

IBM Rational DOORS

187

Diagnose and Fix DXL Errors

191

Microsoft Office

192

Microsoft Office

193

External Documents

204

Editor”

205

8 MATLAB Code Traceability

206

Custom Types of Requirements

223

Implement Custom Link Types

225

Custom Link Type Functions

226

Links and Link Types

227

Link Type Properties

228

Link Type Properties

229

Custom Link Type Registration

232

Create a Document Index

239

Requirements Information in

245

Generated Code

245

Component Verification

254

Component Verification

255

Unit testing

256

Component

263

About the Example Model

264

slvnvlogsignals(

266

Create and Log Test Cases

268

Merge Test Case Data

269

Record Coverage for Component

269

mergedTestCases,runopts);

270

Signal Monitoring with

273

Model Verification Blocks

273

Enable assertion check box

279

Model Coverage

304

Types of Model Coverage

305

15 Model Coverage Definition

306

Types of Model Coverage

307

Signal Size Coverage

311

Inline parameters

313

Block reduction

313

Coverage

315

Combinatorial Logic

322

Compare to Constant

323

Compare to Zero

323

Data Type Conversion

324

Dead Zone

324

Direct Lookup Table (n-D)

325

Discrete Filter

325

Discrete FIR Filter

325

Discrete-Time Integrator

325

Discrete Transfer Fcn

326

Dot Product

327

Enabled Subsystem

327

If, If Action Subsystem

330

Interpolation Using Prelookup

330

Library-Linked Objects

331

Logical Operator

331

1-D Lookup Table

332

2-D Lookup Table

332

Math Function

334

MATLAB Function

334

Multiport Switch

335

Proof Assumption

336

Proof Objective

336

Rate Limiter

337

Relational Operator

337

C/C++ S-Function

339

Saturation

340

Saturation Dynamic

340

Test Condition

342

Test Objective

343

Triggered Models

343

Triggered Subsystem

344

Truth Table

345

Unary Minus

345

Weighted Sample Time Math

345

Coverage Tab

350

Coverage for this model

351

Results Tab

354

Reporting Tab

356

Generate report

357

Options Tab

360

Filter Tab

362

Cumulative Coverage Data

365

Coverage Collection During

367

Simulation

367

Create and Run Test Cases

369

Enable Coverage Highlighting

371

Red: Partial Coverage

372

Gray: Filtered Coverage

374

reset = 1;

386

Stationary

390

Coverage for Line 1

394

Coverage for Line 6

394

Coverage for Line 14

395

Coverage for Line 27

395

Coverage for Line 30

396

Related Examples

406

More About

406

Cyclomatic Complexity

412

Decision Coverage

413

Condition Coverage

416

MCDC Coverage

417

Relational Boundary Coverage

417

Types of Coverage Reports

442

Model Summary Report

443

19 Results Review

444

Types of Coverage Reports

445

Subsystem Coverage Report

449

Code Coverage Report

451

Conditions Analyzed

465

Cumulative Coverage

467

Table coverage

471

Relational Boundary

477

Excluding Model Objects From

491

Coverage Filtering

492

Save Coverage Filter to File

498

Remove Coverage Filter Rules

499

Coverage Filter Viewer

500

Coverage Filter Viewer

501

Filter a Stateflow Transition

503

Filter a Stateflow Event

505

Filter a Subsystem

510

Filter a Specific Block

511

Create Tests with cvtest

515

Run Tests with cvsim

517

object, ignore_descendants)

519

Stateflow® Constructs

520

Check Model and Subsystems

532

Limit Model Checks

533

Limit Model Checks

535

Manage Exclusions

537

Compliance

550

Guideline Compliance

553

Finding Check IDs

561

% Run on 2 cores

566

Archive and View Results

567

Archive and View Results

569

View Model Advisor Report

570

Model Advisor Customization

576

Customization File Overview

579

Customization File Overview

581

Quick Start Examples

582

Quick Start Examples

583

Functions

604

Define Custom Checks

606

Define Custom Checks

607

Display and Enable Checks

608

Check Definition Function

610

Define Check Input Parameters

610

Define Check Actions

612

About Callback Functions

613

Action Callback Function

619

Format Model Advisor Results

620

Model Advisor Code Examples

628

Input Parameter Definition

629

List View Definition

630

Action Definition

631

Model Advisor Code Examples

633

Organizing Checks and Folders

639

Create Custom Configurations

640

Configuration Editor

643

Register Tasks and Folders

651

Define Custom Tasks

652

Define Custom Folders

654

Customization Example

655

Verify Custom Configurations

656

Group Definition

659

Create Procedural-Based Model

661

Advisor Configurations

661

Create Procedures

662




Più prodotti e manuali per Software MATLAB

Modelli Tipo di Documento
IMAGE PROCESSING TOOLBOX - RELEASE NOTES Guida Utente   MATLAB IMAGE PROCESSING TOOLBOX - RELEASE NOTES User`s guide, 122 pagine
SYSTEM IDENTIFICATION TOOLBOX 7 Guida Utente   MATLAB SYSTEM IDENTIFICATION TOOLBOX 7 User`s guide, 531 pagine
DESIGN HDL CODER RELEASE NOTES Guida Utente   MATLAB DESIGN HDL CODER RELEASE NOTES User guide, 410 pagine
POLYSPACE 7 Guida di Installazione   MATLAB POLYSPACE 7 Installation guide, 618 pagine
PARALLEL COMPUTING TOOLBOX 4 Guida Utente   MATLAB PARALLEL COMPUTING TOOLBOX 4 User`s guide, 128 pagine
DATABASE TOOLBOX RELEASE NOTES Guida Utente   MATLAB DATABASE TOOLBOX RELEASE NOTES User`s guide, 684 pagine
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Manuale Utente   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER User`s manual, 408 pagine
XPC TARGET 4 - DEVICE DRIVERS Guida Utente   MATLAB XPC TARGET 4 - DEVICE DRIVERS User`s guide, 111 pagine
GAUGES BLOCKSET RELEASE NOTES Guida Utente   MATLAB GAUGES BLOCKSET RELEASE NOTES User`s guide, 114 pagine
EMBEDDED IDE LINK 4 - FOR USE WITH TEXAS INSTRUMENTS CODE COMPOSER STUDIO Specifiche   MATLAB EMBEDDED IDE LINK 4 - FOR USE WITH TEXAS INSTRUMENTS CODE COMPOSER STUDIO Specifications, 126 pagine
SIMULINK 7 - GRAPHICAL USER INTERFACE Specifiche   MATLAB SIMULINK 7 - GRAPHICAL USER INTERFACE Specifications, 216 pagine
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Guida Utente   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER User`s guide [en] , 386 pagine
BUILDER EX 1 Guida Utente   MATLAB BUILDER EX 1 User`s guide [en] [es] , 164 pagine
VIDEO AND IMAGE PROCESSING BLOCKSET 3 Guida Utente   MATLAB VIDEO AND IMAGE PROCESSING BLOCKSET 3 User`s guide, 252 pagine
SYSTEMTEST RELEASE NOTES Guida di Installazione   MATLAB SYSTEMTEST RELEASE NOTES Installation guide, 237 pagine
TARGET SUPPORT PACKAGE - RELEASE NOTES Manuale Utente   MATLAB TARGET SUPPORT PACKAGE - RELEASE NOTES User manual [en] , 54 pagine
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Manuale di Servizio   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Technical data [en] , 282 pagine
PARTIAL DIFFERENTIAL EQUATION TOOLBOX 1 Manuale Utente   Lab #4, 18 pagine
IMAGE ACQUISITION TOOLBOX - RELEASE NOTES Guida Utente   MATLAB IMAGE ACQUISITION TOOLBOX - RELEASE NOTES User`s guide, 574 pagine
IMAGE ACQUISITION TOOLBOX 3 Guida Utente   MATLAB IMAGE ACQUISITION TOOLBOX 3 User`s guide, 408 pagine

MATLAB dispositivi

  • Weller Contemporary Research Buffalo Import Maytag Water-inc
  • SIIG Carte audio Moulinex Tritacarne Husqvarna no Samsung Server/encoder video Huawei TV portatili
  • Samsung S24E510C HP Elite Slice for Meeting Rooms Lg 601 Smeg KSEV97X LG GSL761PZXV
  • Friedrich PDE07R3SG Manuale di Installazione Technoline WT 197 Manuale delle Istruzioni Eurofase 22900-036 Guida di Installazione LG F2J6NNP8S Manuale Utente Bosch DVR-8K-050A Scheda Tecnica

    • © 2020, manymanuals.it. Tutti i diritti riservati | 0.018 s |
    Manymanuals.com Manymanuals.de Manymanuals.fr Manymanuals.it
    Manymanuals.pl Manymanuals.cz Manymanuals.es Manymanuals-pt.com