| Версія | 2 |
|---|---|
| Видавництво | SofCheck |
| Дата випуску | 7 лист. 2008 р. |
| Дату додано | 16 лип. 2007 р. |
| Вимоги ОС | Windows, Windows XP |
| Вимоги | Windows XP/2003 Server |
| Загальна кількість завантажень | 357 |
| Ціна | Free to try |
Опис
SofCheck Inspector — це інструмент статичного аналізу, який виявляє помилки в байт-кодах Java. Він використовує методи статичного керування потоком, потоком даних і розповсюдження набору можливих значень (PVP), щоб визначити місця, де можуть виникнути помилки під час виконання. Ця автоматизована техніка якості програмного забезпечення забезпечує 100% покриття шляху та дозволяє виявляти та усувати недоліки на дуже ранніх етапах життєвого циклу програмного забезпечення, ще до виконання. Інспектор генерує передумови та постумови, які характеризують поведінку коду Java і корисні для перевірки коду білого ящика. Він виявляє умови змагання, індексування за межами, переповнення, ділення на нуль, мертвий код, невикористані призначення, тести, які завжди виконуються в одному напрямку, або викинуті винятки. Це 45-денна пробна версія, яка підтримує до 200 класів. Продукт містить версію Sun JRE.
