ビデオ・Webセミナー

Description
Related Resources

Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 8: Automatic Test Vector Generation and Software-In-the-Loop Testing

From the series: Model-Based Design for DO-178C Software Development with MathWorks Tools

Mike Anthony, MathWorks

In part 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews. When attempting to satisfy DO-178C using a hand-code approach, one of the most time consuming steps in the process is the manual review of the source code. Simulink Code Inspector automates this code review process in a Model-Based Design workflow.

Recorded: 31 Mar 2013

Related Products

Featured Product

Simulink Design Verifier

Up Next:

In part 9 of this webinar series, we discuss requirements-based testing of the cross-compiled executable object code.

Part 9: Verification of the Object Code Against the Model

View full series (9 Videos)

Related Videos:

In part 5 of this webinar series, we discuss the idea of using formal methods to further verify the model and assess robustness.

Model-Based Design for DO-178C Software Development with...

Leverage existing test cases and achieve full coverage using formal methods for test generation in Simulink Design Verifier.

Extend Existing Test Cases to Achieve Full Model Coverage

Generate test cases from models of system requirements using Simulink Design Verifier.

How to Generate Requirements-Based Test Cases

Think of requirements that describe unwanted functionality such as “thrust reverser shall not deploy while in flight.” What kind of test can verify that something shall never happen? Textual requirements are prone to misinterpretation, and some requi

Requirements Modeling and Design Verification of Embedded...

Identify design errors, generate test cases, and verify designs against requirements using Simulink Design Verifier.

What Is Simulink Design Verifier?

View more related videos