SoftCheck Inspector

Deskrizzjoni

SofCheck Inspector hija għodda ta 'analiżi statika li tiskopri żbalji fil-bytecodes Java. Juża tekniki tal-fluss tal-kontroll statiku, tal-fluss tad-dejta u tal-propagazzjoni tas-sett ta' valur possibbli (PVP) biex jidentifika postijiet fejn jistgħu jseħħu żbalji fil-ħin tat-tħaddim. Din it-teknika awtomatizzata tal-kwalità tas-softwer tipprovdi kopertura tal-mogħdija ta '100% u tippermetti li d-difetti jiġu identifikati u eliminati kmieni ħafna fiċ-ċiklu tal-ħajja tas-softwer, qabel il-ħin tal-ġirja. L-Ispettur jiġġenera prekundizzjonijiet u postkundizzjonijiet li jikkaratterizzaw l-imġieba tal-kodiċi Java u huma utli għall-ispezzjonijiet tal-kodiċi tal-kaxxa l-bajda. Jiskopri kundizzjonijiet tar-razza, indiċi barra mill-limiti, overflows, divide-by-zero, kodiċi mejjet, assenjazzjonijiet mhux użati, testijiet dejjem sejrin f'direzzjoni waħda, jew eċċezzjonijiet mitfugħa. Din hija verżjoni ta 'prova ta' 45 jum li tappoġġja sa 200 klassi. Il-prodott fih verżjoni tal-JRE ta' Sun.