SoftCheck Inspector

Beschreibung

SofCheck Inspector ist ein statisches Analysetool, das Fehler in Java-Bytecodes entdeckt. Es verwendet statische Steuerungsfluss-, Datenfluss- und Mögliche-Werte-Ausbreitungstechniken (PVP), um Stellen zu identifizieren, an denen Laufzeitfehler auftreten könnten. Diese automatisierte Softwarequalitätstechnik bietet eine 100-prozentige Pfadabdeckung und ermöglicht die Identifizierung und Beseitigung von Fehlern sehr früh im Softwarelebenszyklus, noch vor der Laufzeit. Inspector generiert Vor- und Nachbedingungen, die das Verhalten von Java-Code charakterisieren und für White-Box-Code-Inspektionen nützlich sind. Es erkennt Race-Conditions, Index außerhalb der Grenzen, Überläufe, Division durch Null, toten Code, unbenutzte Zuweisungen, Tests, die immer in eine Richtung gehen, oder ausgelöste Ausnahmen. Dies ist eine 45-tägige Testversion, die bis zu 200 Klassen unterstützt. Das Produkt enthält eine Version von Suns JRE.