PolySpace Server for C/C++ 7.0.1 | Kontakt THE MATHWORKS

THE MATHWORKS

ANGEBOTE (35)
KATALOGE
WEISSBUECHER
MITTEILUNGEN

PolySpace Server for C/C++ 7.0.1

Server

“ Durchführen von PolySpace Verifizierungsanfragen auf bestimmten Servern, Computer-Clustern oder Serverfarmen. ”

Angebot anfordern

Präsentation

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 NUTZER HABEN AUCH DIE KATEGORIE SERVER

T-Box IP Router

Angebot anfordern

Mesh Node

Angebot anfordern

servers: Lenovo ThinkServer

Angebot anfordern

OPC Server

Angebot anfordern

Überprüfen Sie alle Produkte von kategorie server

Das sollten Sie auch sehen

Netzwerk Kabel Umschalter Netzwerkzubehör HDMI-Kabel Mono-Audiokabel Klinkenkabel Kabel für Peripheriegeräte