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.
with PolySpace
Um noch strenger zu testen, können Sie mit Polyspace Code Prover die Abwesenheit von Laufzeitfehlern (wie beispielsweise der Division durch null) nachweisen.
For added rigor, you can use Polyspace Code Prover to prove the absence of run-time errors such as divide-by-zero.
Verifizieren Sie Ihren generierten AUTOSAR-Code im Hinblick auf die MISRA-C-Einhaltung, prüfen Sie auf Laufzeitfehler und suchen Sie mit Polyspace Code Prover nach Abweichungen zwischen dem Code und den AUTOSAR-ARXML-Beschreibungen.
Verify your generated AUTOSAR code for MISRA-C compliance, check for run-time errors, and look for mismatches between the code and AUTOSAR ARXML descriptions using Polyspace Code Prover.
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++, 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++ 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.
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.
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.
When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
Arbeiten mit PolySpace Client für C/C++
Working with PolySpace Client for C/C++
Mit PolySpace Server für C/C++ können Sie die Code-Verifizierung beschleunigen und die Verifizierungen auf einem Computer-Cluster durchführen.
With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster.
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.
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 Access bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der Code-Verifikation mit Polyspace und Qualitätsmesswerten, die in einem zentralen Repository gespeichert werden.
Polyspace Code Prover Access provides a web browser interface to Polyspace code verification results and quality metrics stored in a central repository.
Abschließend können Sie die MISRA-Compliance mit Polyspace Bug Finder überprüfen.
Lastly, you can check MISRA compliance with Polyspace Bug Finder.
Mit PolySpace können wir diese potentiell kritischen Fehler schnell entdecken und erhalten ein unvergleichliches Niveau an Softwareverlässlichkeit.
PolySpace enables us to find these potentially critical errors fast, and provides for an unparalleled level of software reliability.
Einheitliche Benutzeroberfläche: Erstellung und Konfiguration eines gemeinsamen Projekts für Analysen mit Polyspace Bug Finder und Polyspace Code Prover
Unified User Interface: Create and maintain a single Polyspace project for Bug Finder and Code Prover analysis
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.
