Simulink Design Verifier - Simulink

Úvodní stránka > Produkty > MATLAB, Simulink > Aplikační knihovny pro MATLAB, Simulink > Simulink® Design Verifier™

Simulink® Design Verifier™

Kontaktovat prodejce

Technická podpora

Model Coverage Test Generation Example

Test Constraint Block Example

Generování testů a prověřování vlastností modelů s využitím formálních metod

Simulink Design Verifier automaticky vytváří testy pro modely v Simulinku a Stateflow, které splňují požadavky na pokrytí modelu a zpracovávají uživatelem definované požadavky. Testy dále prověřují vlastnosti jednotlivých bloků a dokumentují příklady chybného chování modelu.

Oblasti využití:

Automatické řízení a regulace
Měření a testování

Další informace v angličtině na stránkách firmy The MathWorks