MATLAB Polyspace

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. Polyspace download

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.