Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
polyspace client
Vertaling van "polyspace client" in Duits
PolySpace Client
By confirming the absence of run-time errors and measuring the rate of improvement in code quality, PolySpace Client for C/C++ enables developers, testers, and project managers to target, deliver, or assess code that is free of run-time errors.
Mit der Bestätigung, dass keine Laufzeitfehler vorliegen, und dem Messen der Verbesserungsrate der Code-Qualität ermöglicht PolySpace Client für C/C++ Entwicklern, Testern und Projektmanagern, Codes zu planen, zu entwickeln und zu bewerten, die frei von Laufzeitfehlern sind.
PolySpace Client for C/C++ verifies all conditions of program execution, for each instruction, taking into account all possible values of every variable at every point in the code.
PolySpace Client für C/C++ verifiziert für jede Anweisung sämtliche Bedingungen der Programmausführung und berücksichtigt dabei alle möglichen Werte aller Variablen an jedem einzelnen Punkt im Code.
PolySpace Client for C/C++ provides both predefined and customizable filters that let you analyze verification results in an iterative process.
PolySpace Client für C/C++ bietet sowohl vordefinierte als auch benutzerdefinierte Filter, mit denen Sie die Verifizierungsergebnisse in einem iterativen Vorgang analysieren können.
PolySpace Client for C/C++ provides management and visualization capabilities for verifying software components on a desktop computer.
PolySpace Client für C/C++ verfügt über Verwaltungs- und Visualisierungsoptionen, mit denen Software-Komponenten auf einem Desktop-Computer verifiziert werden können.
PolySpace Client for C/C++ uses color-coding to indicate the status of each element in the code, as follows
PolySpace Client für C/C++ greift auf eine Farbkodierung zurück, um den Status der einzelnen Code-Elemente anzugeben. Diese lautet wie folgt
PolySpace Client for C/C++ uses abstract interpretation techniques to verify code.
PolySpace Client für C/C++ greift bei der Verifizierung des Codes auf abstrakte Auswertungstechniken zurück.
Jobs are submitted to the server using PolySpace Client for C/C++.
Die Aufträge werden mittels PolySpace Client für C/C++ an den Server gesendet.
PolySpace Client for C/C++ supports multiple workflows.
PolySpace Client für C/C++ unterstützt mehrere Workflows.
Working with PolySpace Client for C/C++
Arbeiten mit PolySpace Client für C/C++
PolySpace Server for C/C++, in conjunction with PolySpace Client for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code.
PolySpace Server für C/C++ bietet zusammen mit PolySpace Client für C/C++ eine Code-basierte Verifizierung, mit der Laufzeitfehler im Quellcode, wie z. B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff geprüft werden können.
The PolySpace client and server can be deployed to single-user environments or to integrated development teams.
PolySpace Client und Server können sowohl in Einzelbenutzerumgebungen als auch in integrierten Entwicklerteams zum Einsatz kommen.
Using the PolySpace Client for C/C++ command line, graphical user interfaces, or Eclipse, you can
Mithilfe der Befehlszeile, der grafischen Benutzeroberflächen bzw. Eclipse von PolySpace Client für C/C++ können Sie
When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.
In Verbindung mit PolySpace Server für C/C++ ermöglicht Ihnen PolySpace Client für C/C++ das Senden von Verifikationsaufgaben an Computer-Cluster.
Synoniemen voor polyspace client in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 41 ms.
