Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
with PolySpace
Vertaling van "with PolySpace" in Duits
mit PolySpace
PolySpace Server for C/C++, together with PolySpace Client for C/C++, provides a code-based verification tool that proves source code reliability and detects run-time errors in source code without requiring you to execute or modify the code.
PolySpace Server für C/C++ bietet zusammen mit PolySpace Client für C/C++ ein Code-basiertes Verifizierungstool, mit dem die Zuverlässigkeit des Quellcodes geprüft sowie Laufzeitfehler im Quellcode erkannt werden können, ohne dass Sie den Code ausführen oder modifizieren müssen.
PolySpace Server for C/C++, in conjunction with PolySpace Client for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code.
PolySpace Server für C/C++ bietet zusammen mit PolySpace Client für C/C++ eine Code-basierte Verifizierung, mit der Laufzeitfehler im Quellcode, wie z. B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff geprüft werden können.
Working with PolySpace Client for C/C++
Arbeiten mit PolySpace Client für C/C++
When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.
In Verbindung mit PolySpace Server für C/C++ ermöglicht Ihnen PolySpace Client für C/C++ das Senden von Verifikationsaufgaben an Computer-Cluster.
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster.
Mit PolySpace Server für C/C++ können Sie die Code-Verifizierung beschleunigen und die Verifizierungen auf einem Computer-Cluster durchführen.
Polyspace Code Prover works with Polyspace Bug Finder to find safety-critical defects, such as divide by zero or security critical buffer overflows, in your source code and check compliance to coding standards such as MISRA.
Polyspace Code Prover arbeitet mit Polyspace Bug Finder zusammen, um sicherheitskritische Fehler wie Division durch Null oder sicherheitsrelevante Pufferüberläufe in Ihrem Quellcode zu finden und die Einhaltung von Coding-Standards wie MISRA zu prüfen.
Send email notifications with Polyspace Code Prover results.
Versenden von E-Mail-Benachrichtigungen mit Ergebnissen von Polyspace Code Prover.
Lastly, you can check MISRA compliance with Polyspace Bug Finder.
Abschließend können Sie die MISRA-Compliance mit Polyspace Bug Finder überprüfen.
Embedded Software Verification with Polyspace Products for...
Verifikation von Embedded Software für FDA-zertifizierte...
Polyspace Workflow Overview Objetivo: Become familiar with Polyspace Bug Finder and Code Prover and work through an introductory example.
Ziel: Verstehen an welcher Stelle im Softwareentwicklungsprozess Polyspace Bug Finder und Polyspace Code Prover richtigerweise eingesetzt werden.
Synoniemen voor with PolySpace in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 11. Exact: 11. Verstreken tijd: 36 ms.
