SoftCheck Inspector

Beskrivelse

SofCheck Inspector er et statisk analyseværktøj, der opdager fejl i Java-bytekoder. Den bruger statisk kontrol-flow, data-flow og mulig-værdi-sæt propagation (PVP) teknikker til at identificere steder, hvor der kan opstå køretidsfejl. Denne automatiserede softwarekvalitetsteknik giver 100 % stidækning og gør det muligt at identificere og eliminere fejl meget tidligt i softwarens livscyklus, før køretid. Inspector genererer forudsætninger og postbetingelser, der karakteriserer Java-kodes adfærd og er nyttige til inspektioner af hvid bokskode. Den registrerer løbsforhold, indeks uden for grænserne, overløb, divider-med-nul, død kode, ubrugte opgaver, test, der altid går én vej, eller smidte undtagelser. Dette er en 45 dages prøveversion, der understøtter op til 200 klasser. Produktet indeholder en version af Sun's JRE.