ThreadSafe - Википедия - ThreadSafe

ThreadSafe
ThreadSafe для Eclipse
ThreadSafe для Eclipse
Разработчики)Созерцать
Стабильный выпуск
1.3 / 28 марта 2014 г.; 6 лет назад (2014-03-28)
Операционная системаКроссплатформенность: Linux, OS X, Windows
ТипСтатический анализ кода
ЛицензияПроприетарное программное обеспечение
Интернет сайтwww.contemplateltd.com/ threadsafe

ThreadSafe - это инструмент анализа исходного кода, который выявляет риски приложений и уязвимости безопасности, связанные с параллелизмом в базах кода Java, с помощью межпроцедурного анализа всей программы.[1][2][3][4] ThreadSafe используется для выявления и предотвращения сбоев программного обеспечения в параллельных приложениях, работающих в сложных средах.[1][2][5][6]

особенности

ThreadSafe обнаруживает дефекты параллелизма Java:[2][3][4]

  • Условия гонки - которые приводят к неправильному или непредсказуемому поведению, которое трудно воспроизвести в отладчике.
  • Тупиковые ситуации[7] - вызвано циклическим ожиданием между потоками, ожидающими общих ресурсов.
  • Непредсказуемые результаты - вызваны неправильной обработкой параллельных коллекций, неправильной обработкой ошибок или синхронизацией смешанных объектов.
  • Узкие места в производительности - вызваны неправильным использованием API, избыточной синхронизацией и ненужным использованием общего изменяемого состояния.

ThreadSafe интегрирован с Затмение среда разработки программного обеспечения и с SonarQube платформа управления качеством программного обеспечения. Контекстная информация предоставляется в среде разработки, чтобы помочь разработчику исследовать и решать проблемы параллелизма непосредственно в коде.[2][3][4] Версия для командной строки доступна для пользователей IDE, отличных от Eclipse, и для интеграции процесса сборки.

Проверка соблюдения стандартов

ThreadSafe обнаруживает нарушения правил, связанных с параллелизмом, в стандарте CERT Oracle Secure Coding Standard для Java.[8]

Смотрите также

использованная литература

  1. ^ а б Граци, Виктор (28 августа 2013 г.). «Инструмент статического анализа ThreadSafe с параллелизмом объявляет о первом общедоступном выпуске». InfoQ.com.
  2. ^ а б c d Тафт, Дэррил (4 сентября 2013 г.). "Contemplate предоставляет инструмент статического анализа параллелизма Java ThreadSafe". DevX.com.
  3. ^ а б c Этки, Роберт (14 января 2014 г.). «Обнаружение и диагностика проблем параллелизма Java с помощью Contemplate ThreadSafe». InfoQ.com.
  4. ^ а б c Атки, Роберт; Саннелла, Дональд (2015). «ThreadSafe: статический анализ для Java Concurrency». Электронные коммуникации EASST. 72. Дои:10.14279 / tuj.eceasst.72.1025.995.
  5. ^ Рой, Ритобаан (1 мая 2013 г.). «Ошибки программного обеспечения: брифинг по новым технологиям для финансовых директоров». Финансовый директор. Архивировано из оригинал 14 октября 2013 г. Он утверждает, что разработал технологию [относится к ThreadSafe, как объясняется в подписи к изображению, отсутствует в архивной версии], которая может выявлять ошибки в программном коде, которые не появляются достаточно регулярно, чтобы их можно было обнаружить обычными инструментами.
  6. ^ Рубенс, Пауль (12 марта 2014 г.). «Почему тестирование программного обеспечения не может спасти вас от ИТ-катастроф». Ссылка на ThreadSafe на стр. 2. CIO.com.
  7. ^ Райбл, Мэтт (26 июня 2014 г.). «Contemplate ThreadSafe представляет обнаружение взаимоблокировок». InfoQ.com.
  8. ^ "SEI CERT Oracle Coding Standard для Java". Институт программной инженерии, Университет Карнеги-Меллона. Получено 18 марта, 2016.

внешние ссылки