Fehlerbehebung bei der Ausführung der Polyspace-Analyse
Kompilierungsfehler, Fehler beim Herstellen einer Verbindung zum Server, Fehler beim Erstellen des Polyspace®-Projekts usw.
Beheben verschiedener Fehler, die bei der Ausführung einer Polyspace-Analyse auftreten können, z. B.:
Kompilierungsfehler
Lizenzierungs- und Datenbankfehler
Fehler bei der Projekterstellung
Fehler bei der Einrichtung des Remote-Clusters
Fehler bei der Analyse des generierten Codes
Kategorien
- Beheben von Kompilierungsfehlern
Nicht definierter Identifikator, unbekannter Funktionsprototyp, widersprüchliche Deklarationen usw.
- Beheben von Fehlern bei der Lizenzierung, bei Datenbanken und anderen sonstigen Problemen
Beschädigte Ergebnisdatenbank, Einschränkungen für temporäre Ordner, Lizenzfehler usw.
- Fehlerbehebung bei der Projekterstellung
Fehler bei der Projekterstellung durch den Build-Befehl
- Fehlerbehebung bei der Analyse auf Remote-Clustern
Server nicht gefunden, Probleme beim Schreiben in die Job-Manager-Datenbank usw.
- Fehlerbehebung bei Analysen in Simulink
Fehler bei der Ausführung der Polyspace-Analyse von generiertem Code und benutzerdefiniertem Code, der in Simulink®-Modellen enthalten ist.
