SofCheck Inspector - Википедия - SofCheck Inspector
 | Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В SofCheck Inspector[1] это статический анализ инструмент для Ява и Ада. Он статически определяет и документирует предварительно и постусловия из Ява методы или Ада подпрограмм и использует эту информацию для выявления логических ошибок,[2] условия гонки, и избыточный код в отдельном классе Java или пакете Ada, подсистеме или полной программе. SofCheck Inspector производится компанией SofCheck, Inc., производящей программные продукты в г. Берлингтон, Массачусетс.
Инспектор SofCheck статический анализ движок используется в CodePeer[3] статический анализ продукт из AdaCore.
Смотрите также
- Статический анализ кода
- Тестирование программного обеспечения
- Гарантия безопасности программного обеспечения
- Список инструментов для статического анализа кода
Рекомендации
- ^ «Архивная копия». Архивировано из оригинал на 2007-09-28. Получено 2009-02-23.CS1 maint: заархивированная копия как заголовок (связь)
- ^ «Архивная копия». Архивировано из оригинал на 2007-05-19. Получено 2007-04-26.CS1 maint: заархивированная копия как заголовок (связь)
- ^ "CodePeer". AdaCore.com. Архивировано из оригинал на 2012-02-23. Получено 2016-08-10.