Покрытие
 | |
| Тип компании | Общественный |
|---|---|
| Промышленность | Тестирование безопасности , статический анализ программ , разработка программного обеспечения |
| Основан | Ноябрь 2002 г. |
| Судьба | Приобретена Synopsys в 2014 году. |
| Штаб-квартира | ранее Сан-Франциско, Калифорния |
Ключевые люди | Джейсон Шмитт (нынешний генеральный менеджер) |
| Продукты | Советник по кодам покрытия, Советник по кодам покрытия по требованию, Сканирование покрытия, Советник по тестированию покрытия, Искатель |
Количество сотрудников | 250+ |
| Родитель | Синопсис, Инк. |
| Веб-сайт | синопсис |
Coverity — это собственный инструмент статического анализа кода от Synopsys . Этот продукт позволяет инженерам и командам безопасности находить и устранять дефекты программного обеспечения.
Компания Coverity начала свою деятельность как независимая компания-разработчик программного обеспечения в 2002 году в Лаборатории компьютерных систем Стэнфордского университета в Пало-Альто, Калифорния. Ее основали Бенджамин Челф, Энди Чоу, Дэвид Парк и Сет Халлем, а профессор Стэнфорда Доусон Энглер техническим консультантом выступил . Штаб-квартира была перенесена в Сан-Франциско . В июне 2008 года Coverity приобрела Solidware Technologies. [1] В феврале 2014 года Coverity объявила о соглашении о приобретении Synopsys , компании по автоматизации электронного проектирования , за 375 миллионов долларов наличными. [2]
Продукты
[ редактировать ]Coverity — это инструмент статического анализа кода для C , C++ , C# , Java , JavaScript , PHP , Python , .NET , ASP.NET , Objective-C , Go , JSP, Ruby , Swift , Fortran , Scala , VB.NET и Типскрипт . Он также поддерживает более 70 различных платформ для Java, JavaScript, C# и других языков. [3]
Coverity Scan статического анализа — это бесплатный облачный сервис для сообщества с открытым исходным кодом .
Приложения
[ редактировать ]По контракту Министерства внутренней безопасности США в 2006 году этот инструмент использовался для проверки более 150 приложений с открытым исходным кодом на наличие ошибок; 6000 ошибок, обнаруженных в ходе сканирования, были исправлены в 53 проектах. [4]
Национальное управление безопасности дорожного движения использовало этот инструмент в своем расследовании в 2010–2011 годах сообщений о внезапном непреднамеренном ускорении автомобилей Toyota. [5] [6] Этот инструмент использовался ЦЕРН в программном обеспечении Большого адронного коллайдера. [7] [8] и в НАСА Лаборатории реактивного движения во время разработки программного обеспечения полета марсохода Curiosity . [9]
Ссылки
[ редактировать ]- ^ Крил, Пол (30 июня 2008 г.). «Coverity покупает Solidware, чтобы улучшить анализ кода» . Infoworld.com. Архивировано из оригинала 10 октября 2008 г. Проверено 29 января 2011 г.
- ^ «Synopsys выходит на рынок качества и безопасности программного обеспечения с приобретением Coverity» . Новостная лента по связям с общественностью. 19 февраля 2014 г. Проверено 20 февраля 2014 г.
- ^ «Информационный листок статического анализа покрытия» (PDF) . Synopsys.com . Проверено 15 июля 2019 г.
- ^ [ «LAMP освещает путь в области безопасности с открытым исходным кодом : Новости : Безопасность - ZDNet Asia» . Архивировано из оригинала 14 июня 2009 года . Проверено 4 мая 2006 г. «LAMP освещает путь к безопасности с открытым исходным кодом»] – ZDNet
- ^ «США использовали ключевые инструменты для изучения программного обеспечения Toyota, связанного с ускорением». Архивировано 26 мая 2013 г. на Wayback Machine.
- ^ «Техническая поддержка Национальной администрации безопасности дорожного движения в связи с сообщением о расследовании непреднамеренного ускорения Toyota Motor Corporation»
- ^ «ЦЕРН выбирает скрытность для обеспечения точности программного обеспечения большого адронного коллайдера»
- ^ «Улучшение научных исследований: ЦЕРН и статический анализ покрытия»
- ^ "Прикрытие: "Космические врачи" марсохода Curiosity об охоте за ошибками в космосе"