MATLAB SIMULINK VERIFICATION AND VALIDATION - S Guide de l'utilisateur Page 312
- Page / 674
- Table des matières
- MARQUE LIVRES
Noté. / 5. Basé sur avis des utilisateurs
15 Model Coverage Definition
15-10
• Analyze the model and use the Proof Assumption block to verify any counterexamples
that the Simulink Design Verifier identifies.
If you specify to collect Simulink Design Verifier coverage:
• The software collects coverage for the Simulink Design Verifier blocks and functions.
• The software checks the data type of the signal that links to each Simulink Design
Verifier block. If the signal data type is fixed point, the block parameter must also be
fixed point. If the signal data type is not fixed point, the software tries to convert the
block parameter data type. If the software cannot convert the block parameter data
type, the software reports an error and you must explicitly assign the block parameter
data type to match the signal.
• If your model contains a Verification Subsystem block, the software only records
coverage for Simulink Design Verifier blocks in the Verification Subsystem block; it
does not record coverage for any other blocks in the Verification Subsystem.
If you do not specify to collect Simulink Design Verifier coverage, the software does not
check the data types for any Simulink Design Verifier blocks and functions in your model
and does not collect coverage.
For an example of coverage data for Simulink Design Verifier blocks or functions in a
model coverage report, see “Simulink Design Verifier Coverage” on page 19-45.
- 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
Produits connexes et manuels pour Logiciel MATLAB SIMULINK VERIFICATION AND VALIDATION - S
(122 pages)© 2020, manymanuals.fr. Tous droits réservés | 0.037 s |
Manymanuals.com
Manymanuals.de
Manymanuals.fr
Manymanuals.it
Manymanuals.pl
Manymanuals.cz
Manymanuals.es
Manymanuals-pt.com
Commentaires sur ces manuels