MATLAB Polyspace: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| (3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 4: | Zeile 4: | ||
== Installation == | == Installation == | ||
Vorraussetzung für die Installation von MATLAB Polyspace ist ein Mathworks-Account mit der eigenen Hochschul-Emailadresse. | Vorraussetzung für die Installation von MATLAB Polyspace ist ein Mathworks-Account mit der eigenen Hochschul-Emailadresse. | ||
<b>1.</b> 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. | <b>1.</b> 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. | ||
| Zeile 10: | Zeile 11: | ||
<b>3.</b> Die erhaltene Lizenz muss mit dem eigenen Mathworks-Account verknüpft werden. | <b>3.</b> Die erhaltene Lizenz muss mit dem eigenen Mathworks-Account verknüpft werden. | ||
[[Datei:screenshot_account_mathworks.png]] | |||
<b>4.</b> Polyspace downloaden. | <b>4.</b> Polyspace downloaden. | ||
| Zeile 16: | Zeile 21: | ||
<b>6.</b> Polyspace Lizenz auswählen. | <b>6.</b> Polyspace Lizenz auswählen. | ||
[[Datei:Polyspace_license_selection.png]] | |||
<b>7.</b> Installation durchführen. | <b>7.</b> Installation durchführen. | ||
== Literaturverzeichnis == | == Literaturverzeichnis == | ||
Aktuelle Version vom 12. Januar 2020, 18:42 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.
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.