SoftCheck Inspector

SofCheck Інспектор інструмент статичного аналізу, що виявляє помилки в Java байт-код. Він використовує статичний потоку управління, потоку даних, і можна-вартість встановлюється розповсюдження (ПВП) методи виявлення місць, де можуть виникнути помилки часу працюють. Ця автоматизована методика забезпечення якості програмного забезпечення забезпечує покриття шлях 100% і дозволяє тріщин, виявити і усунути на самому початку життєвого циклу програмного забезпечення, до часу виконання. Інспектор виробляє передумови і постумови, які характеризують поведінку Java коду і корисні для білих вікно коду перевірок. Він виявляє умови гонки, індекс поза межами, переповнення, розділити на нуль, мертвий код, невикористовувані призначення, випробування завжди буде один шлях, або кинуті винятку. Це 45-денна пробна версія з підтримкою до 200 класів. Продукт містить версію JRE Sun,

Вимоги :.

Windows XP / 2003 Server

Обмеження :

45-денна пробна версія