SofCheck Inspektor jest narzędziem do analizy statycznej, że odkrywa błędy w bytecodes Java. Używa statycznej kontroli przepływu, przepływu danych i możliwe wartości ustawione propagacji (PVP) technik w celu identyfikacji miejsca, w których mogą wystąpić błędy w czasie. Ten zautomatyzowany technika jakości oprogramowania zapewnia 100% pokrycie wad ścieżkę i pozwala na identyfikację i wyeliminowane bardzo wczesnym etapie cyklu życia oprogramowania, zanim czasie wykonywania. Inspektor generuje przesłanki i postconditions które charakteryzują zachowanie kodu Java i są przydatne dla białych inspekcji kodu okno. Wykrywa warunków wyścigu, indeks poza granicami, przepełnienia, dzielenia przez zero, martwy kod, niewykorzystane zadania, testy zawsze idzie w jedną stronę, lub wyrzucone wyjątki. To jest 45 dniowa wersja obsługuje do 200 klas. Produkt zawiera wersję JRE Sun
Wymagania .
Windows XP / 2003 Server
Ograniczenia :
45-dniowa wersja próbna
Komentarze nie znaleziono