Polyspace Server for C/C++ 8.0

Polyspace Server™ für C/C++ bietet zusammen mit Polyspace Client™ für C/C++ eine Code-basierte Verifikation, durch die das Auftreten sowie die Abwesenheit von Laufzeitfehlern im Quellcode, wie z.B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff nachgewiesen wird, ohne das Programm auszuführen, den Code zu instrumentieren oder Testfälle zu erzeugen. Mit Polyspace Server für C/C++ können Sie die Code-Verifikation beschleunigen und die Verifikation auf einem Computer-Cluster durchführen. Die Aufträge werden mittels Polyspace Client für C/C++ an den Server gesendet. Anschließend greifen Sie auf den Client zurück, um die Verifikationsergebnisse herunterzuladen und zu visualisieren.

Die Unterstützung von Branchenstandards ist erhältlich über IEC Certification Kit (für IEC 61508) and DO Qualification Kit (für DO-178).