| Версия | 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.
