Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
run-time errors such
Vertaling van "run-time errors such" in Duits
Laufzeitfehlern wie
Laufzeitfehler wie
The formal method known as abstract interpretation enables determination of accurate range information for the purpose of proving that the software is free of certain run-time errors such as divide by zeros and buffer overflows.
Die formale Methode, die auch als abstrakte Interpretation bezeichnet wird, ermöglicht die Bestimmung genauer Bereichsinformationen, um nachzuweisen, dass die Software frei von bestimmten Laufzeitfehlern wie Division durch Null und Pufferüberläufen ist.
They support a stringent source code analysis and verification process that enables you to detect and prove the absence of run-time errors such as overflow, divide by zero, and out-of-bounds array access without program execution, code instrumentation, or test.
Sie ermöglichen einen stringenten Verifikationsprozess, durch den Laufzeitfehler wie Überläufe, Divisionen durch Null und Array-Zugriffe außerhalb des gültigen Bereichs entdeckt und deren Abwesenheit analytisch bewiesen werden kann, ohne den Code auszuführen, zu instrumentieren oder Testfälle zu erzeugen.
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.
For added rigor, you can use Polyspace Code Prover to prove the absence of run-time errors such as divide-by-zero.
Um noch strenger zu testen, können Sie mit Polyspace Code Prover die Abwesenheit von Laufzeitfehlern (wie beispielsweise der Division durch null) nachweisen.
Detecting Run-Time Errors Prove, identify, and diagnose run-time errors such as overflows, divide by zeros, and out-of-bound pointers.
Nachweis, Erkennung und Behebung von Laufzeitfehlern wie Überläufen, Divisionen durch Null oder Pointern mit Überschreitung des Definitionsbereichs.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 32 ms.
