Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
PolySpace code
Vertaling van "PolySpace code" 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.
With the kit, you can streamline certification of your embedded systems developed using Simulink or PolySpace products. Specific versions of both the Simulink verification, validation, and test tools and the PolySpace code verification tools have qualification kits for the DO-178 standard.
Mithilfe des Kits kann die Zertifizierung der eingebetteten Systeme rationalisiert werden, die mittels Simulink- oder PolySpace-Produkten entwickelt wurden... Für die einzelnen Versionen der Simulink-Verifizierungs-, Validierungs- und Testtools sowie auch für die PolySpace-Codeverifizierungstools stehen entsprechende DO-178 Qualification Kits zur Verfügung.
DO Qualification Kit contents, including certification artifacts and workflow guidance for projects using Model-Based Design or PolySpace code
DO Qualification Kit , einschließlich Zertifizierungswerkzeuge und Workflow-Richtlinien für Projekte unter modellbasiertem Konstruktions- oder PolySpace-Code
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.
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.
In the example below, Polyspace Code Prover has determined that the division operation consists of a range between -1701 to 3276 for the left operand; right operand is 9.
Im unten stehenden Beispiel hat Polyspace Code Prover festgestellt, dass die Divisionsoperation aus einem Bereich zwischen -1701 und 3276 für den linken Operanden besteht; der rechte Operand ist 9. Somit ergibt sich nach der Division ein Bereich zwischen -189 und 364.
By measuring the rate of improvement in code quality, Polyspace Code Prover enables developers, testers, and project managers to target and deliver high quality code.
Durch die Messbarkeit der Verbesserungsrate der Codequalität bietet Polyspace Code Prover Entwicklern, Testern und Projektmanagern die Möglichkeit, qualitativ hochwertigen Code zu planen und zu entwickeln.
You use Polyspace Code Prover as part of a high quality assurance process to exhaustively verify all possible combinations of inputs, paths, and variable values.
Sie verwenden Polyspace Code Prover im Rahmen eines hochwertigen Qualitätssicherungsprozesses, um alle möglichen Kombinationen von Eingaben, Pfaden und Variablenwerten umfassend zu verifizieren.
Polyspace Code Prover displays range information for variables and function return values, and can prove which variables exceed specified range limits.
Polyspace Code Prover zeigt Bereichsinformationen für Variablen und Funktionsrückgabewerte und kann nachweisen, welche Variablen vorgegebene Bereichsgrenzen überschreiten.
Polyspace Code Prover tracks control and data flow through the software and displays range information associated with variables and operators.
Polyspace Code Prover verfolgt den Steuerungs- und Datenfluss durch die Software und zeigt Bereichsinformationen an, die mit Variablen und Operatoren in Zusammenhang stehen.
In the verification results produced by Polyspace Code Prover, each C or C++ operation is color-coded to indicate its status
In den von Polyspace Code Prover produzierten Verifikationsergebnissen ist jede Operation in C oder C++ farbcodiert, um ihren Status anzugeben
You can use Polyspace Code Prover to verify generated code or mixed code which contains both generated and handwritten code.
Sie können Polyspace Code Prover für die Verifikation von generiertem Code oder gemischtem Code, der sowohl generierten als auch handgeschriebenen Code enthält, verwenden.
Polyspace Code Prover identifies where run-time errors may occur and code that is proven to be safe from run-time errors.
Polyspace Code Prover erkennt, wo Laufzeitfehler auftreten können, und identifiziert Code, der nachweislich sicher vor Laufzeitfehlern ist.
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.
Synoniemen voor PolySpace code in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 35. Exact: 35. Verstreken tijd: 55 ms.
