SoftCheck Inspector

Опис

СофЦхецк Инспецтор је алат за статичку анализу који открива грешке у Јава бајт кодовима. Користи технике статичног тока контроле, протока података и пропагације скупа могућих вредности (ПВП) да идентификује места на којима би се могле појавити грешке у току извршавања. Ова аутоматизована техника квалитета софтвера обезбеђује 100% покривеност путање и омогућава да се грешке идентификују и елиминишу веома рано у животном циклусу софтвера, пре времена покретања. Инспектор генерише предуслове и постуслове који карактеришу понашање Јава кода и корисни су за проверу кода беле кутије. Он детектује услове трке, индекс ван граница, преливања, дељење на нулу, мртви код, неискоришћене задатке, тестове који увек иду у једном смеру или избачене изузетке. Ово је пробна верзија од 45 дана која подржава до 200 часова. Производ садржи верзију Суновог ЈРЕ-а.