MATLAB Polyspace

Aus HSHL Mechatronik
Version vom 4. Januar 2020, 18:22 Uhr von Kevin Hustedt (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

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.

Installation

Literaturverzeichnis

Abgerufen von „https://wiki.hshl.de/wiki/index.php?title=MATLAB_Polyspace&oldid=51320“