Detekce run-time chyb a prověření korektnosti kódu před jeho kompilací
Polyspace Client pro C/C++ ve spojení s Polyspace Server pro C/C++ nabízí možnost ověření správnosti zdrojového kódu v C a C++. Nástroj prokazuje spolehlivost kódu detekcí run-time chyb a jiných softwarových vad bez nutnosti spuštění programu nebo tvorby testovacích příkladů. Lze ověřovat ručně psaný kód, automaticky generovaný kód nebo jejich kombinaci ještě před kompilací a testováním.
Ceník produktů
Kontaktovat prodejce
Technická podpora
