形式化需求和基于需求的测试用例生成

了解如何通过形式化需求和自动生成基于需求的测试来降低软件验证成本。 

出版年份: 2023 年 7 月 9 日

反馈

下一个:

Specification Modeling is the practice of creating models which define the expected behavior of a system. Learn how you can generate requirements-based test cases using Simulink Design Verifier from a Specification Model.

How to Generate Requirements-Based Test Cases

相关视频:

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

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...

In part 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews.

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

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...