Examples with "Codeanalyse durch Polyspace" 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.
Polyspace Bug Finder Access bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der statischen Codeanalyse durch Polyspace mit Qualitätsmetriken, die in einem zentralen Repository gespeichert werden.
Polyspace Bug Finder Access provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository.
Andere resultaten
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.
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.
Bei der statischen Codeanalyse in Polyspace-Tools wird der Code in Hinblick auf Laufzeitfehler überprüft, die Einhaltung von MISRA-Coding-Standards wird sichergestellt und es werden Artefakte für die DO-178-Zertifizierung erstellt.
Polyspace static analysis tools check the code for run-time errors, ensure compliance with MISRA coding standards, and create artifacts for DO-178 certification credit.
Wenn wir ein externes Projekt übernehmen, führen wir zu Beginn eine eingehende Codeanalyse durch.
If we take over an external project, we carry out a detailed code analysis at the beginning.
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.
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.
Gestalten Sie die Entwicklungsprozesse eines führenden Zulieferers der Automobilindustrie durch den Einsatz von Modell-Basierter Entwicklung, Datenanalytik, numerischer Berechnung und statischer Codeanalyse mit MATLAB, Simulink und Polyspace.
Location: DE-Stuttgart Department: Technical Sales Engineering Shape the way a leading car manufacturer develops automotive systems through the use of Technical Computing and Model-Based Design with MATLAB and Simulink.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Codeanalyse durch Polyspace in het Duits
