Úvodní stránka > Produkty > MATLAB, Simulink > Polyspace™
Detekce chyb v Embedded SoftwarePolyspace je soubor nástrojů pro detekci run-time chyb a ověření správnosti programového kódu ještě před jeho kompilací, tedy bez jeho spuštění. Jedná se o formální diagnostiku abstraktními interpretačními metodami. Ověřený kód odpovídá standardu MISRA.
Polyspace slouží k ověřování kódu v jazycích C, C++ a Ada určeného pro embedded aplikace. Lze testovat jak ručně psaný kód, tak kód automaticky generovaný pomocí nástrojů pro Model-Based Design. V případě automaticky generovaného kódu lze dále využít Polyspace Link produktů, které slouží ke zpětnému promítnutí chyb nalezených v kódu do výchozích modelů, což umožní opravu jejich návrhu.
Detekce run-time chyb a prokázání korektnosti kódu před jeho kompilací
Promítnutí výsledků analýzy chyb v kódu zpět do výchozích modelů
|
|||||
|
|
|||||
Ceník produktů
Kontaktovat prodejce
Technická podpora
