В этой статье слишком много ссылок на первоисточники . ( Декабрь 2018 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Эта статья может содержать чрезмерные или неуместные ссылки на самостоятельно опубликованные источники . ( Декабрь 2018 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Разработчики) | Созерцать |
---|---|
Стабильный выпуск | 1.3 / 28 марта 2014 г . |
Операционная система | Кроссплатформенность : Linux , OS X , Windows |
Тип | Статический анализ кода |
Лицензия | Проприетарное программное обеспечение |
Веб-сайт | www |
ThreadSafe - это инструмент анализа исходного кода, который определяет риски приложений и уязвимости безопасности, связанные с параллелизмом в базах кода Java, с использованием межпроцедурного анализа всей программы. [1] [2] [3] [4] ThreadSafe используется для выявления и предотвращения сбоев программного обеспечения в параллельных приложениях, работающих в сложных средах. [1] [2] [5] [6]
Особенности [ править ]
ThreadSafe обнаруживает дефекты параллелизма Java: [2] [3] [4]
- Условия гонки - которые приводят к неправильному или непредсказуемому поведению, которое трудно воспроизвести в отладчике.
- Тупики [7] - вызваны циклическим ожиданием между потоками, ожидающими общих ресурсов.
- Непредсказуемые результаты - вызваны неправильной обработкой параллельных коллекций, неправильной обработкой ошибок или синхронизацией смешанных объектов.
- Узкие места в производительности - вызваны неправильным использованием API, избыточной синхронизацией и ненужным использованием общего изменяемого состояния.
ThreadSafe интегрирован со средой разработки программного обеспечения Eclipse и с платформой управления качеством программного обеспечения SonarQube . Контекстная информация предоставляется в среде разработки, чтобы помочь разработчику исследовать и решать проблемы параллелизма непосредственно в коде. [2] [3] [4] Версия для командной строки доступна для пользователей IDE, отличных от Eclipse, и для интеграции процесса сборки.
Проверка соблюдения стандартов [ править ]
ThreadSafe обнаруживает нарушения правил, связанных с параллелизмом, в CERT Oracle Secure Coding Standard для Java. [8]
См. Также [ править ]
Ссылки [ править ]
- ^ a b Граци, Виктор (28 августа 2013 г.). «Средство статического анализа ThreadSafe с параллелизмом объявляет о первом общедоступном выпуске» . InfoQ.com.
- ^ a b c d Тафт, Дэррил (4 сентября 2013 г.). «Contemplate предоставляет инструмент статического анализа параллелизма Java ThreadSafe» . DevX.com.
- ^ a b c Этки, Роберт (14 января 2014 г.). «Обнаружение и диагностика проблем параллелизма Java с помощью Contemplate ThreadSafe» . InfoQ.com.
- ^ a b c Атки, Роберт; Саннелла, Дональд (2015). «ThreadSafe: статический анализ для параллелизма Java». Электронные сообщения EASST . 72 . DOI : 10.14279 / tuj.eceasst.72.1025.995 .
- ^ Рой, Ritobaan (1 мая 2013). «Ошибки программного обеспечения: брифинг по новым технологиям для финансовых директоров» . Финансовый директор. Архивировано из оригинального 14 октября 2013 г.
Он утверждает, что разработанная технология [относится к THREADSAFE, как указано в титрах изображения, отсутствует архивной версии] ,
который может идентифицировать ошибки в программном коде ,
которые не всплывают достаточно регулярно ,
чтобы быть обнаруживается обычными инструментами.
CS1 maint: обескураженный параметр ( ссылка ) - Рианна Рубенс, Пол (12 марта 2014 г.). «Почему тестирование программного обеспечения не может спасти вас от ИТ-катастроф» . Ссылка на ThreadSafe на стр. 2. CIO.com.
- ^ Raible, Мэтт (26 июня 2014). «Contemplate ThreadSafe представляет обнаружение тупиковых ситуаций» . InfoQ.com.
- ^ "SEI CERT Oracle Coding Standard for Java" . Институт программной инженерии, Университет Карнеги-Меллона . Проверено 18 марта 2016 года . CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки [ править ]
- Официальный веб-сайт