Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
PolySpace code verifiers
Examples with "PolySpace code verifiers" and their translation in Duits
PolySpace code verifiers analyze code, pinpoint reliability problems, and identify problematic code constructs.
Die PolySpace-Code-Verifizierer analysieren Code, identifizieren Probleme mit der Verlässlichkeit und zeigen problematische Code-Konstruktionen an.
Finally, PolySpace code verifiers let you examine generated or hand-written code for possible run-time errors and MISRA C-2004 code compliance.
Schließlich können Sie mit den PolySpace Codeverifizierern generierten oder von Hand erstellten Code auf mögliche Tun-Time-Fehler und MISRA C-2004- Codekompatibilität untersuchen.
Real-Time Workshop Embedded Coder and PolySpace code verifiers were not developed using an IEC 61508-compliant process.
Es wurde kein IEC 61508-konformer Prozess zur Entwicklung von Real-Time Workshop Embedded Coder und PolySpace-Codeverifizierern verwendet.
Andere resultaten
Polyspace Code Prover can be integrated into build systems for automated verification.
Polyspace Code Prover kann in Build-Systeme zur automatischen Verifikation integriert werden.
Send email notifications with Polyspace Code Prover results.
Versenden von E-Mail-Benachrichtigungen mit Ergebnissen von Polyspace Code Prover.
Reliable bar code verifier monitors and validates symbol accuracy in packaging, converting and product assembly operations.
Der zuverlässige Barcodeprüfer überwacht und prüft die Symbolgenauigkeit bei Verpackungs-, Konvertierung und Produktmontageverfahren.
Polyspace Code Prover uses color-coding to indicate the status of each element in the code.
Polyspace Code Prover greift auf eine Farbcodierung zurück, um den Status der einzelnen Code-Elemente anzugeben.
We recommend you check the bar code print quality with a bar code verifier.
Wir empfehlen die Überprüfung der Druckqualität der Strichcodes mit einem Strichcodeprüfer.
Run-time error attributes identified by Polyspace Code Prover.
Attribute für von Polyspace Code Prover identifizierte Laufzeitfehler
If you do not have a bar code verifier or scanner, check the bar code visually.
Falls Sie keinen Strichcodeprüfer oder scanner besitzen, prüfen Sie den Strichcode durch Augenschein.
You can access Polyspace Code Prover from the command line, graphical user interface, or via plugins to Visual Studio and Eclipse.
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.
Technical Articles View articles that demonstrate technical advantages of using Polyspace Code Prover.
Sie finden dort auch Versionshinweise und Artikel über die technischen Vorteile beim Einsatz der Polyspace Code Prover.
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.
Synoniemen voor PolySpace code verifiers in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 44. Exact: 3. Verstreken tijd: 125 ms.
