Vertaling van "PolySpace" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Ein weiteres Aufgabengebiet beinhaltet die Einführung des Werkzeugs PolySpace.
A further area of work concerns the introduction of the tool PolySpace.
Durchführen von PolySpace Verifizierungsanfragen auf bestimmten Servern, Computer-Clustern oder Serverfarmen
Perform PolySpace verifications on dedicated servers, computer clusters, or server farms
Mit PolySpace können wir diese potentiell kritischen Fehler schnell entdecken und erhalten ein unvergleichliches Niveau an Softwareverlässlichkeit.
PolySpace enables us to find these potentially critical errors fast, and provides for an unparalleled level of software reliability.
mehrere Verifizierungsaufträge an PolySpace Server auf einem Computer-Cluster oder einer Compute Farm senden
Submit multiple verification jobs to PolySpace servers running on a computer cluster or compute farm
Der Queue Manager empfängt die Verifizierungsanfrage von PolySpace und weist die Aufgabe dem ersten verfügbaren Server zu.
The queue manager receives the PolySpace verification request and selects the first available server to run the job.
PolySpace Client und Server können sowohl in Einzelbenutzerumgebungen als auch in integrierten Entwicklerteams zum Einsatz kommen.
The PolySpace client and server can be deployed to single-user environments or to integrated development teams.
Eine PolySpace Verifizierungsanfrage wird dem ersten verfügbaren Server zugewiesen, der dann die Aufgabe übernimmt und zum Download vom Client bereitstellt.
One PolySpace verification request is posted to the first available server, which executes the job and makes it available for download from the client.
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.
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.
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++ 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++ 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 both predefined and customizable filters that let you analyze verification results in an iterative process.
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++ provides management and visualization capabilities for verifying software components on a desktop computer.
Mit PolySpace Server für C/C++ können Sie die Code-Verifizierung beschleunigen und die Verifizierungen auf einem Computer-Cluster durchführen.
With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster.
PolySpace Server für C/C++ rationalisiert den Verifizierungsprozess dadurch, dass Sie Ihre Verifizierungsaufträge in eine Warteschlange bringen und verteilen können.
PolySpace Server for C/C++ streamlines the verification process by letting you queue and distribute verification jobs.
