Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 9: Verification of the Object Code Against the Model

In part 9 of this webinar series, we discuss requirements-based testing of the cross-compiled executable object code. Use of the Software-in-the-Loop and Processor-in-the-Loop features of Embedded Coder enable reuse of the requirements-based test cases to verify the model. Furthermore, this example shows integration with a 3 ^rd party code coverage tools to also analyze the code coverage achieved by the requirements-based test cases.