Polyspace - Detekce chyb v Embedded Software

Úvodní stránka > Produkty > MATLAB, Simulink > Polyspace™

Polyspace™

Detekce chyb v Embedded Software

Polyspace 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ů

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