Videos und Webinare

DO-178B Software Development 04: Verification of the Model Against High-Level Requirements

Webinar Series (Part 4):

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.

Die Arbeitsweise der folgenden Werkzeuge wird gezeigt

  • SystemTest
  • Simulink
  • Stateflow
  • Simulink Verification and Validation
  • Simulink Report Generator

Aufgezeichnet: 31 Mrz 2013