Verifikace, validace a testování

Ověřování a validace vestavěných systémů pomocí Model-Based Design.

Requirements Toolbox

Tvorba a správa požadavků, jejich validace a trasování do algoritmů (MATLAB), modelů (Simulink, Systém Composer), generovaného kódu a testovacích případů.

requirements toolbox

Simulink Check

Ověřování modelů z hlediska doporučeného stylu modelování a dodržení standardů.

simulink check

Simulink Coverage

Měření pokrytí modelů a generovaného kódu testy.

simulink coverage

Simulink Design Verifier

Identifikace a lokalizace chyb v návrhu, formální dokazování splnění požadavků a automatické generování testů.

simulink design verifier

MATLAB Test

Tvorba, správa a spouštění testů v prostředí MATLAB - analýza a testovaní aplikací vytvořených v MATLABu.

matlab test

Simulink Test

Tvorba, správa a spouštění testů v prostředí Simulink.

simulink test

Polyspace Bug Finder

Identifikace softwarových chyb pomocí statické analýzy.

polyspace bug finder

Polyspace Code Prover

Prokázání absence run-time chyb v software.

polyspace code prover
close