MATLAB Polyspace: Unterschied zwischen den Versionen
| Zeile 1: | Zeile 1: | ||
== Einleitung == | == Einleitung == | ||
Die von [https://de.mathworks.com/ 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. | Die von [https://de.mathworks.com/ 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. | ||
[https://de.mathworks.com/downloads/web_downloads/?s_tid=sp_ban_dl] | [https://de.mathworks.com/downloads/web_downloads/?s_tid=sp_ban_dl Polyspace download] | ||
== Installation == | == Installation == | ||
Version vom 5. März 2024, 11:11 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. Polyspace download
Installation
Vorraussetzung für die Installation von MATLAB Polyspace ist ein Mathworks-Account mit der eigenen Hochschul-Emailadresse.
1. Zunächst muss beim ZFW eine Lizenz für Polyspace Bug Finder und Polyspace Code Prover angefragt werden. Die von der Hochschule zur Verfügung gestellte Lizenz für MATLAB funktioniert für Polyspace nicht mehr.
2. Auf der Website von MathWorks einloggen.
3. Die erhaltene Lizenz muss mit dem eigenen Mathworks-Account verknüpft werden.
4. Polyspace downloaden.
5. Installation starten und mit Mathworks-Account einloggen.
6. Polyspace Lizenz auswählen.
7. Installation durchführen.