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