Promítnutí výsledků analýzy chyb kódu zpět do modelů v programu Telelogic Rhapsody
Polyspace UML Link RH rozšiřuje Polyspace Client pro C/C++ a Polyspace Server pro C/C++ o nástroje, které umožní promítnutí výsledků analýzy chyb generovaného C kódu přímo do výchozích modelů v programu Telelogic Rhapsody. Ve výsledku lze takto identifikovat, které části modelu jsou bezpečné a změnit ty části návrhu, které způsobují run-time chyby v kódu.
Ceník produktů
Kontaktovat prodejce
Technická podpora
