search

MATLAB SIMULINK VERIFICATION AND VALIDATION - S manuales

Manuales del propietario y guías del usuario para Software MATLAB SIMULINK VERIFICATION AND VALIDATION - S.
Ofrecemos 1 manuales en pdf MATLAB SIMULINK VERIFICATION AND VALIDATION - S para descargar gratis por tipos de documentos: Guía de usuario


Matlab SIMULINK VERIFICATION AND VALIDATION - S Guía de usuario (674 paginas)


Marca: Matlab | Categoria: Software | Tamaño: 5.58 MB |

 

Tabla de contenidos

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




Más productos y manuales para Software MATLAB

Modelos Tipo de documento
IMAGE PROCESSING TOOLBOX - RELEASE NOTES Guía de usuario   MATLAB IMAGE PROCESSING TOOLBOX - RELEASE NOTES User`s guide, 122 paginas
SYSTEM IDENTIFICATION TOOLBOX 7 Guía de usuario   MATLAB SYSTEM IDENTIFICATION TOOLBOX 7 User`s guide, 531 paginas
DESIGN HDL CODER RELEASE NOTES Guía de usuario   MATLAB DESIGN HDL CODER RELEASE NOTES User guide, 410 paginas
POLYSPACE 7 Guía de instalación   MATLAB POLYSPACE 7 Installation guide, 618 paginas
PARALLEL COMPUTING TOOLBOX 4 Guía de usuario   MATLAB PARALLEL COMPUTING TOOLBOX 4 User`s guide, 128 paginas
DATABASE TOOLBOX RELEASE NOTES Guía de usuario   MATLAB DATABASE TOOLBOX RELEASE NOTES User`s guide, 684 paginas
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Manual de usuario   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER User`s manual, 408 paginas
XPC TARGET 4 - DEVICE DRIVERS Guía de usuario   MATLAB XPC TARGET 4 - DEVICE DRIVERS User`s guide, 111 paginas
GAUGES BLOCKSET RELEASE NOTES Guía de usuario   MATLAB GAUGES BLOCKSET RELEASE NOTES User`s guide, 114 paginas
EMBEDDED IDE LINK 4 - FOR USE WITH TEXAS INSTRUMENTS CODE COMPOSER STUDIO Especificaciones   MATLAB EMBEDDED IDE LINK 4 - FOR USE WITH TEXAS INSTRUMENTS CODE COMPOSER STUDIO Specifications, 126 paginas
SIMULINK 7 - GRAPHICAL USER INTERFACE Especificaciones   MATLAB SIMULINK 7 - GRAPHICAL USER INTERFACE Specifications, 216 paginas
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Guía de usuario   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER User`s guide [en] , 386 paginas
BUILDER EX 1 Guía de usuario   MATLAB BUILDER EX 1 User`s guide [en] [es] , 164 paginas
VIDEO AND IMAGE PROCESSING BLOCKSET 3 Guía de usuario   MATLAB VIDEO AND IMAGE PROCESSING BLOCKSET 3 User`s guide, 252 paginas
SYSTEMTEST RELEASE NOTES Guía de instalación   MATLAB SYSTEMTEST RELEASE NOTES Installation guide, 237 paginas
TARGET SUPPORT PACKAGE - RELEASE NOTES Manual de usuario   MATLAB TARGET SUPPORT PACKAGE - RELEASE NOTES User manual [en] , 54 paginas
REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Manual de servicio   MATLAB REAL-TIME WORKSHOP 7 - TARGET LANGUAGE COMPILER Technical data [en] , 282 paginas
PARTIAL DIFFERENTIAL EQUATION TOOLBOX 1 Manual de usuario   Lab #4, 18 paginas
IMAGE ACQUISITION TOOLBOX - RELEASE NOTES Guía de usuario   MATLAB IMAGE ACQUISITION TOOLBOX - RELEASE NOTES User`s guide, 574 paginas
IMAGE ACQUISITION TOOLBOX 3 Guía de usuario   MATLAB IMAGE ACQUISITION TOOLBOX 3 User`s guide, 408 paginas

MATLAB dispositivos

  • Bounder Webastoto ECLAIR PrimaLuna Elgento
  • Assa No ILuv Auriculares para móvil Bell Accesorios Para Bicicletas Canon Multifuncionales Hitachi Generadores De Poder
  • Zenith R50W46 Electrolux EWW1686HDW Vision Fitness Deluxe Sony MDR-NC22 Yamaha F10
  • Philips FC8478/91 Ficha de datos Acer Aspire V3-574 Manual de usuario Philips 32PFL5332/45 Manual de usuario Toshiba PSBY1U-00Q01V Ficha de datos

    • © 2020, manymanuals.es. Todos los derechos reservados | 0.049 s |
    Manymanuals.com Manymanuals.de Manymanuals.fr Manymanuals.it
    Manymanuals.pl Manymanuals.cz Manymanuals.es Manymanuals-pt.com