Examples with "der Polyspace Code Prover" and their translation 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.
Sie finden dort auch Versionshinweise und Artikel über die technischen Vorteile beim Einsatz der Polyspace Code Prover.
Technical Articles View articles that demonstrate technical advantages of using Polyspace Code Prover.
Andere resultaten
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.
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.
Polyspace Code Prover kann in Build-Systeme zur automatischen Verifikation integriert werden.
Polyspace Code Prover can be integrated into build systems for automated verification.
Versenden von E-Mail-Benachrichtigungen mit Ergebnissen von Polyspace Code Prover.
Polyspace Code Prover greift auf eine Farbcodierung zurück, um den Status der einzelnen Code-Elemente anzugeben.
Polyspace Code Prover uses color-coding to indicate the status of each element in the code.
Attribute für von Polyspace Code Prover identifizierte Laufzeitfehler
Run-time error attributes identified by Polyspace Code Prover.
Sie können über die Befehlszeile, über eine grafische Benutzeroberfläche oder über Plug-ins für Visual Studio und Eclipse auf Polyspace Code Prover zugreifen.
You can access Polyspace Code Prover from the command line, graphical user interface, or via plugins to Visual Studio and Eclipse.
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.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
Sie verwenden Polyspace Code Prover im Rahmen eines hochwertigen Qualitätssicherungsprozesses, um alle möglichen Kombinationen von Eingaben, Pfaden und Variablenwerten umfassend zu verifizieren.
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.
Lassen Sie Defekte automatisch den Besitzern der jeweiligen Komponente zuweisen, Benachrichtigungen per E-Mail versenden und Ergebnisse in Polyspace Code Prover Access hochladen, um Probleme vorzuselektieren und zu lösen.
Automatically assign defects to component owners, send email notifications, and upload results to Polyspace Code Prover Access so you can triage and resolve issues.
Polyspace Code Prover unterstützt außerdem die Rückverfolgbarkeit von Laufzeitergebnissen zu dSPACE TargetLink-Blöcken und IBM Rational Rhapsody-Modellen.
Polyspace Code Prover also supports tracing run-time results to dSPACE TargetLink blocks and IBM Rational Rhapsody models.
Polyspace Code Prover verfolgt den Steuerungs- und Datenfluss durch die Software und zeigt Bereichsinformationen an, die mit Variablen und Operatoren in Zusammenhang stehen.
Polyspace Code Prover tracks control and data flow through the software and displays range information associated with variables and operators.
Polyspace Code Prover erkennt, wo Laufzeitfehler auftreten können, und identifiziert Code, der nachweislich sicher vor Laufzeitfehlern ist.
Polyspace Code Prover identifies where run-time errors may occur and code that is proven to be safe from run-time errors.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
