Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
Polyspace-analysis

Examples with "Polyspace-analysis" and their translation in Duits

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
Polyspace
analysis
Analyse Analysen Auswertung Untersuchung Analysis
In addition to the module tests, TAF - with an optional extension - can optimally support and carry out static Polyspace-analysis for the generated code of the module.
Bei entsprechender Erweiterungsoption können mit TAF neben den Modultests auch statische Polyspace-Analysen für den generierten Code des Moduls optimal unterstützt und durchgeführt werden.
Feedback - from failed tests, gaps in test coverage and results from an optional test object Polyspace-analysis extension - occurs directly in your familiar development environment, MATLAB.
Die Rückmeldung über fehlerhafte Tests, Lücken in der Testabdeckung sowie als Erweiterungsoption die Ergebnisse einer Polyspace-Analyse des Testobjekts erfolgen direkt in Ihrer gewohnten Entwicklungsumgebung MATLAB.

Andere resultaten

Diab Compiler Support: Set up Polyspace analysis easily for code compiled with Wind River Diab compiler
Diab Compiler-Unterstützung: Einfaches Einrichten von Polyspace Code-Analysen für Wind River Diab Compiler
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.
Using static analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior.
Mithilfe der statischen Analyse analysiert Polyspace Bug Finder die Softwaresteuerung, den Datenfluss und das Verhalten während des Prozesses.
Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior.
Mittels Verwendung von statischer Analyse mit semantischen Analyse-Methoden analysiert Polyspace Bug Finder den Daten- und Kontrollfluss sowie das interprozedurale Verhalten.
Polyspace Bug Finder Access provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository.
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 static analysis tools check the code for run-time errors, ensure compliance with MISRA coding standards, and create artifacts for DO-178 certification credit.
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.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor Polyspace-analysis in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
eye mask: soft covering for eyes to block light
Ontdek het woord
eye mask
Publiciteit

Resultaten: 9. Exact: 2. Verstreken tijd: 147 ms.