Русская Википедия:Coverity

Материал из Онлайн справочника
Версия от 04:10, 14 июля 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{infobox company | name = Coverity, Inc. | logo = | type = Private | foundation = {{Start date|2002|11}} | fate = Acquired by Synopsys | key_people = Andreas Kuehlmann (SVP & GM) | location = <!-- Значение в ВП:ВД --> | num_employees = 250+ | industry = Development testing |...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Infobox company

Coverity — пакет программного обеспечения, состоящий из статического и динамического анализаторов кода, принадлежащий компании «Synopsys». Программное обеспечение ищет ошибки и недочёты в безопасности исходных кодах программ, написанных на Си, C++, Java, C# и JavaScript.

До приобретения Synopsys компания Coverity располагалась в лаборатории Стэнфордского университета в Калифорнии. В июне 2008 года компания поглотила Solidware Technologies[1]. В феврале 2014 года были подписаны бумаги о продаже компании Synopsys за 350 млн долларов США[2].

Программы в пакете

  • Coverity Code Advisor — статический анализатор кода для исходных кодов на Си, C++, C#, Java и JavaScript. Разработан на основе Stanford Checker[3].
  • Coverity Code Advisor on Demand облачная версия Coverity Code Advisor.
  • Coverity Scan — облачное приложение для анализа открытого программного обеспечения. На момент 2016 года, анализируется свыше 4000 проектов.
  • Coverity Test Advisor — серия продуктов, для выявления проблем тестирования программного обеспечения.
  • Seeker — приложение интерактивного теста безопасности продукта.

Использование

Согласно контракту с Департаментом национальной безопасности США, при помощи Coverity проверили более 150 проектов с открытым исходным кодом на наличие ошибок[4], было исправлено более 6 тысяч ошибок в 53 проектах[5][6].

Администрация национальной безопасности дорожного движения США использовала инструмент в 2010—2011 годах, расследуя сообщения о непреднамеренном ускорении автомобилей Toyota[7][8].

ЦЕРН использовал инструмент, проверяя программное обеспечение Большого адронного коллайдера[9][10].

Лаборатория реактивного движения НАСА использовала ПО для тестирования исходных кодов марсохода Curiosity[11].

Награждения

В октябре 2008 комитет MIT Technology Review добавила сооснователя Сета Халема (Seth Hallem) в список инноваторов младше 35[12].

В 2009—2011 годах Coverity включался в список Deloitte «Technology Fast 500»[13][14].

В мае 2012 года Coverity становится лауреатом премии «CODiE Award for Best Software Development Solution»[15].

Примечания

Шаблон:Примечания

Ссылки

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite web
  2. ↑ Шаблон:Cite web
  3. ↑ Шаблон:Cite web
  4. ↑ The open source results Шаблон:Wayback on scan.coverity.com
  5. ↑ Open source one year results Шаблон:Wayback on scan.coverity.com
  6. ↑ Шаблон:Cite web «LAMP lights the way in open-source security»
  7. ↑ «U.S. Used Key Tools to Examine Toyota Acceleration-Related Software» Шаблон:Webarchive
  8. ↑ Шаблон:Cite web
  9. ↑ Шаблон:Cite web
  10. ↑ Шаблон:Cite web
  11. ↑ Шаблон:Cite web
  12. ↑ Шаблон:Cite web
  13. ↑ Шаблон:Cite web
  14. ↑ Шаблон:Cite web
  15. ↑ Шаблон:Cite web
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Coverity&oldid=8621273