Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Polyspace
Vertaling van "Polyspace" in Duits
For verification, Polyspace uses formal methods-based abstract interpretation techniques to verify code.
Polyspace verwendet für die Überprüfung eine auf formale Methoden basierte abstrakte Interpretation.
Integrate Polyspace products into your continuous integration environment.
Einbinden von Polyspace-Produkten in Ihre Umgebung für kontinuierliche Integration.
Polyspace products support hand code and generated code.
Polyspace-Produkte unterstützen manuell geschriebenen und automatisch generierten Code.
New server products for running Polyspace static analysis on server class machines
Neue Serverprodukte für die Ausführung statischer Polyspace-Analysen auf Servercomputern
Polyspace static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows.
Die Produkte zur statischen Codeanalyse in Polyspace basieren auf formalen Methoden, die die Abwesenheit kritischer Laufzeitfehler bei allen möglichen Steuerungs- und Datenflüssen beweisen.
Nissan Polyspace finds which operations can experience run-time errors, and also identifies those that will never have one, no matter the operating conditions.
Nissan Polyspace findet die Operationen, bei denen Laufzeitfehler auftreten können, sowie diejenigen, bei denen niemals ein Laufzeitfehler eintreten kann - ganz gleich wie die Betriebsbedingungen aussehen.
Automatically generate Polyspace configuration modules from build system
Automatisches Generieren von Polyspace-Konfigurationsmodulen aus Build-Systemen
Polyspace Code Prover uses abstract interpretation with static code analysis to prove, identify, and diagnose run-time errors such as arithmetic overflows, divide by zero, and buffer overflows.
Polyspace Code Prover setzt auf abstrakte Interpretation mit statischer Codeanalyse, um Laufzeitfehler wie arithmetische Überläufe, Division durch Null und Pufferüberläufe nachzuweisen, zu identifizieren und zu diagnostizieren.
In the example below, Polyspace Code Prover has determined that the division operation consists of a range between -1701 to 3276 for the left operand; right operand is 9.
Im unten stehenden Beispiel hat Polyspace Code Prover festgestellt, dass die Divisionsoperation aus einem Bereich zwischen -1701 und 3276 für den linken Operanden besteht; der rechte Operand ist 9. Somit ergibt sich nach der Division ein Bereich zwischen -189 und 364.
By measuring the rate of improvement in code quality, Polyspace Code Prover enables developers, testers, and project managers to target and deliver high quality code.
Durch die Messbarkeit der Verbesserungsrate der Codequalität bietet Polyspace Code Prover Entwicklern, Testern und Projektmanagern die Möglichkeit, qualitativ hochwertigen Code zu planen und zu entwickeln.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
Anhand von semantischer Analyse und abstrakter Interpretation basierend auf formalen Methoden überprüft Polyspace Code Prover das prozessübergreifende sowie das Kontrollfluss- und Datenflussverhalten der Software.
You use Polyspace Code Prover as part of a high quality assurance process to exhaustively verify all possible combinations of inputs, paths, and variable values.
Sie verwenden Polyspace Code Prover im Rahmen eines hochwertigen Qualitätssicherungsprozesses, um alle möglichen Kombinationen von Eingaben, Pfaden und Variablenwerten umfassend zu verifizieren.
Polyspace Bug Finder identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.
Polyspace Bug Finder erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in eingebetteter C- und C++-Software.
Synoniemen voor Polyspace in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 112. Exact: 112. Verstreken tijd: 74 ms.
