Polyspace Code Prover

Codeverifikationsprozess automatisieren

Sie können Polyspace Code Prover als Teil eines kontinuierlichen Integrationsprozesses verwenden, indem Sie Polyspace in Ihren Build-Prozess integrieren. Sie können die Planung von Verifikationsjobs automatisieren und E-Mail-Benachrichtigungen einrichten. Sie können Polyspace Code Prover dazu veranlassen, einem Cluster-Computer Verifikationsjobs zuzuweisen (unter Verwendung von MATLAB Distributed Computing Server). Sie werden per E-Mail benachrichtigt, sobald Ergebnisse verfügbar sind. Ergebnisse enthalten die Unterschiede im Vergleich zur vorherigen Version Ihres Codes. Diese werden vom Server automatisch berechnet.

Sie können festlegen, wie häufig diese Analysen vorgenommen werden sollen, sowie auch das Qualitätsmodell, das auf einen bestimmten Teil der Codebasis angewendet werden soll. Ferner können Sie die E-Mails definieren, die Ihre Anwender erhalten sollen, sobald die Ergebnisse verfügbar sind. Ebenfalls kann definiert werden, welche Erstellungseigenschaften die automatischen Verifizierungen umfassen sollen.

Weiter: Zertifizierungsartefakte erstellen

Probieren Sie Polyspace Code Prover

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen