Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 4: Verification of the Model Against High-Level Requirements
In part 4 of this webinar series, we discuss verification of the model against the textual requirements. In a requirements-based development process, the idea is to have at least one test case for each requirement. The executable Simulink model allows the developer to verify the model is functionally correct before generating the embedded software. This form of early verification makes use of Simulink and Simulink Report Generator to execute the requirements-based test cases against the model, compare the model’s behavior to the expected behavior to ensure proper functional behavior, and generate a test artifact documenting this testing. This example also makes use of the model coverage analysis feature of Simulink Verification and Validation, as a metric for completion of this requirements-based testing.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 31 Mar 2013
Featured Product
Simulink Coverage
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)