SofCheck Inspector ist eine statische Analyse-Tool, das Fehler in der Java-Bytecodes entdeckt. Es nutzt statische Kontrollfluss, Datenfluss und möglichst wertgelegt Ausbreitung (PVP) Techniken, um Orte, an denen Laufzeitfehler auftreten könnten. Dieser automatisierte Software-Qualitätstechnik bietet 100% Pfadüberdeckung und ermöglicht Mängel identifiziert und sehr früh in der Software-Lebenszyklus eliminiert werden, bevor der Laufzeit. Inspector erzeugt Vor- und Nachbedingungen, die das Verhalten von Java-Code zu charakterisieren und sind nützlich für die White-Box-Code-Inspektionen. Es erkennt Rennbedingungen, Index außerhalb der Grenzen, Überläufe, Division durch Null, toten Code, nicht verwendete Zuordnungen, Tests immer noch einen Weg, oder geworfen Ausnahmen. Dies ist eine 45-Tage-Testversion, die bis zu 200 Klassen. Das Produkt enthält eine Version von Suns JRE
Anforderungen .
Windows XP / 2003 Server
Einschränkungen :
45-Tage-Testversion
Kommentare nicht gefunden