MATLAB Polyspace: Unterschied zwischen den Versionen
| (7 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 84: | Zeile 84: | ||
[[Datei:Polyspace 8.PNG]] | [[Datei:Polyspace 8.PNG]] | ||
<b>7.</b>Ok bestätigen. | |||
<b> | |||
<b>9.</b>Als HSHL-User einlogen. | <b>9.</b>Als HSHL-User einlogen. | ||
<b>10.</b>Matlab Aktivierung starten. | |||
[[Datei:Polyspace 9.PNG]] | |||
<b>11.</b>Aktivierungs aufforderung erscheint mit HSHL-Admin-Konto bei Mathworks einloggen. | <b>11.</b>Aktivierungs aufforderung erscheint mit HSHL-Admin-Konto bei Mathworks einloggen. | ||
| Zeile 103: | Zeile 97: | ||
<b>13.</b>Anmelden als HSHL Admin Polyspace Test auswählen. | <b>13.</b>Anmelden als HSHL Admin Polyspace Test auswählen. | ||
[[Datei:Polyspace 11.PNG]] | |||
[[Datei:Polyspace 14.PNG]] | |||
<b>14.</b>Fenster mit Daten Popt auf dort unten den Adminnamen durch HSHL-USer ersetzen (Fenster das aufpopt bestätigen). | <b>14.</b>Fenster mit Daten Popt auf dort unten den Adminnamen durch HSHL-USer ersetzen (Fenster das aufpopt bestätigen). | ||
[[Datei:Polyspace 12.PNG]] | |||
[[Datei:Polyspace 13.PNG]] | |||
<b>15.</b>Neustarten. | <b>15.</b>Neustarten. | ||
| Zeile 117: | Zeile 119: | ||
<b>20.</b>testen als HSHL-USer. | <b>20.</b>testen als HSHL-USer. | ||
== Literaturverzeichnis == | == Literaturverzeichnis == | ||
Aktuelle Version vom 4. September 2024, 16:59 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. 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.
Aktivierung von Polyspace an HSHL Rechnern
1.Als HSHL-User einlogen Polyspace starten.
2.Aktivierungs aufforderung erscheint mit HSHL-Admin-Konto bei Mathworks einloggen.
3.Anmelde Fenster der HSHL popt auf dort mit HSHL-Admin-Konto auf HSHL Seite einloggen.
4.Anmelden als HSHL Admin Polyspace auswählen.
5.Fenster mit Daten Popt auf dort unten den Adminnamen durch HSHL-USer ersetzen (Fenster das aufpopt bestätigen).
6.Neustarten.
7.Polyspace als HSHL-USer starten.
8.Firewall mit Adminpasswort bestätigen.
9.Firewall mit Adminpasswort bestätigen.
9.Neustarten.
9.testen als HSHL-USer.
Aktivierung von Polyspace Test an HSHL Rechnern
1.Als Admin den Rechner starten, HSHL User muss ausgelogt sein.
2.Rechte Maustaste auf Start/computerverwaltung/ Lokale Benutzer und Gruppen/ Gruppen/ Administratoren.
3.Unter Eigenschaften von Administratoren Mitglieder hinzufügen klicken.
4.Pfad auswahlen ganz oben Name des PC.
5.Unter geben Sie die zu verwendenden Objektnamen ein : HSHL-USer.
6.Auf Name überprüfen klicken. Dieser Ändert sich dann zu PC Name \ HSHL-USer.
7.Ok bestätigen.
9.Als HSHL-User einlogen.
10.Matlab Aktivierung starten.
11.Aktivierungs aufforderung erscheint mit HSHL-Admin-Konto bei Mathworks einloggen.
12.Anmelde Fenster der HSHL popt auf dort mit HSHL-Admin-Konto auf HSHL Seite einloggen.
13.Anmelden als HSHL Admin Polyspace Test auswählen.
14.Fenster mit Daten Popt auf dort unten den Adminnamen durch HSHL-USer ersetzen (Fenster das aufpopt bestätigen).
15.Neustarten.
16.Polyspace als HSHL-USer starten.
17.Firewall mit Adminpasswort bestätigen.
18.Firewall mit Adminpasswort bestätigen.
19.Neustarten.
20.testen als HSHL-USer.