MATLAB Polyspace: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Die Seite wurde neu angelegt: „== Einleitung == Die von MathWorks angebotene Polyspace-Produktfamilie umfasst Werkzeuge für die statische Codeanalyse. Mit dem Polyspace Bug Finder können C…“ |
(kein Unterschied)
|
Version vom 4. Januar 2020, 18:22 Uhr
Einleitung
Die von MathWorks angebotene Polyspace-Produktfamilie umfasst Werkzeuge für die statische Codeanalyse. Mit dem Polyspace Bug Finder können Codierungsregeln, Sicherheitsrisiken und Code-Metriken geprüft werden. Die Abwesenheit von kritischen Laufzeitfehlern können mit dem Polyspace Code Prover formal nachgewiesen werden.