Tip: Search for English results only. You can specify your search language in Preferences
Jun 5, 2009 · Kurzzusammenfassung. Sicherheitskritische eingebettete Systeme müssen ho- hen Qualitätsanforderungen genügen. Laufzeitfehler,.
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. June 2009. Conference: GI-Workshop "Entwicklung zuverlässiger Software-Systeme". Vol.29 of ...
Sicherheitskritische eingebettete Systeme mussen hohen Qualitatsanforderungen genugen. Laufzeitfehler, z.B. arithmetische Uberlaufe oder Rundungsfehler ...
Astrée ist eine Software zur statischen Analyse, die C- und C++-Programme automatisch auf Laufzeitfehler und Regelverletzungen überprüft. Astrée-Screenshot.
Missing: Laufzeit. | Show results with:Laufzeit.
Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler können zu fehlerhaftem Programmverhalten führen. Da in der Regel keine vollständige ...
Missing: Laufzeit. | Show results with:Laufzeit.
Da jeder potentielle Laufzeitfehler manuell vom Benutzer überprüft werden muss, kann eine hohe Zahl von Fehlalarmen dazu führen, dass echte Fehler übersehen ...
Missing: Laufzeit. | Show results with:Laufzeit.
Der statische Analysator Astrée wurde gezielt mit Blick auf die oben genannten Anforderungen entwickelt: Eingesetzt zum Nachweis der Abwesenheit von ...
Astrée ist ein ‚Sound Static Analyzer', der die Abwesenheit von Laufzeitfehlern und ‚Dataraces' nachweist. Astrée überprüft auf Abwesenheit von Fehlern.
Missing: Laufzeit. | Show results with:Laufzeit.
Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler können zu fehlerhaftem Programmverhalten führen. Da in der Regel keine vollständige ...
Missing: Laufzeit. | Show results with:Laufzeit.
Abstrakte Interpretation mit Astrée. 4 – 23. Page 5. Astrée [1]. Ziel: Nachweis der Abwesenheit von Laufzeitfehlern. Findet alle potentiellen Laufzeitfehler.