Dækning

Coverity er en softwarepakke bestående af statiske og dynamiske kodeanalysatorer ejet af Synopsys . Softwaren leder efter fejl og sikkerhedsfejl i kildekoderne til programmer skrevet i C, C++, Java, C# og JavaScript.

Før Synopsys-opkøbet var Coverity baseret i et laboratorium på Stanford University i Californien. I juni 2008 købte virksomheden Solidware Technologies [1] . I februar 2014 blev der underskrevet papirer for at sælge Synopsys for 350 millioner dollars [2] .

Programmer i pakken

• Coverity Code Advisor er en statisk kodeanalysator til C, C++, C#, Java og JavaScript kildekoder. Udviklet baseret på Stanford Checker [3] .
• Coverity Code Advisor on Demand cloudversion af Coverity Code Advisor .
• Coverity Scan er en cloud-baseret open source-softwareanalyseapplikation. På tidspunktet for 2016 er over 4.000 projekter ved at blive analyseret.
• Coverity Test Advisor er en serie af produkter til at identificere softwaretestproblemer.
• Seeker er en interaktiv produktsikkerhedstestapplikation.

Brug

Under en kontrakt med US Department of Homeland Security kontrollerede Coverity over 150 open source-projekter for fejl [4] og rettede over 6.000 fejl i 53 projekter [5] [6] .

US National Highway Traffic Safety Administration brugte værktøjet i 2010-2011 til at undersøge rapporter om utilsigtet acceleration af Toyota-køretøjer [7] [8] .

CERN brugte værktøjet, mens de testede softwaren til Large Hadron Collider [9] [10] .

NASA's Jet Propulsion Laboratory brugte softwaren til at teste kildekoden til Curiosity-roveren [11] .

Priser

I oktober 2008 føjede MIT Technology Review Committee medstifter Seth Hallem til listen over innovatører under 35 år [12] .

I 2009-2011 blev Coverity inkluderet i Deloittes "Technology Fast 500" -liste [13] [14] .

I maj 2012 bliver Coverity vinderen af ​​"CODiE Award for bedste softwareudviklingsløsning" [15] .

Noter

1. ↑ Krill, Paul Coverity køber Solidware for at øge kodeanalysen  (engelsk)  (link ikke tilgængeligt) . Infoworld.com (30. juni 2008). Dato for adgang: 29. januar 2011. Arkiveret fra originalen 10. oktober 2008.
2. ↑ Synopsys går ind på markedet for softwarekvalitet og -sikkerhed med Coverity  Acquisition . PR Newswire (19. februar 2014). Hentet 20. februar 2014. Arkiveret fra originalen 23. februar 2014.
3. ↑ "Et par milliarder linjer kode senere: Brug af statisk analyse til at finde fejl i den virkelige verden; Hvordan Coverity byggede et fejlfindingsværktøj og en virksomhed omkring det ubegrænsede udbud af fejl i softwaresystemer" . Hentet 29. november 2016. Arkiveret fra originalen 7. juni 2017. (ubestemt)
4. ↑ Open source-resultaterne Arkiveret 1. april 2016 på Wayback Machine på scan.coverity.com
5. ↑ Open source et års resultater Arkiveret 23. juni 2017 på Wayback Machine på scan.coverity.com
6. ↑ Arkiveret kopi (downlink) . Hentet 4. maj 2006. Arkiveret fra originalen 14. juni 2009.  (ubestemt)  "LAMPE viser vejen i open source-sikkerhed"
7. ↑ "USA brugte nøgleværktøjer til at undersøge Toyota Acceleration-relateret software" Arkiveret 26. maj 2013.
8. ↑ "Teknisk støtte til National Highway Traffic Safety Administration på den rapporterede Toyota Motor Corporation Unintended Acceleration Investigation" . Hentet 29. november 2016. Arkiveret fra originalen 16. december 2016. (ubestemt)
9. ↑ "CERN vælger dækning for at sikre nøjagtigheden af ​​Large Hadron Collider-software" . Dato for adgang: 29. november 2016. Arkiveret fra originalen 11. marts 2013. (ubestemt)
10. ↑ "Forbedring af videnskabelig forskning: CERN og statisk analyse af coverity" . Dato for adgang: 29. november 2016. Arkiveret fra originalen 4. december 2016. (ubestemt)
11. ↑ "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space" . Hentet 29. november 2016. Arkiveret fra originalen 4. marts 2016. (ubestemt)
12. ↑ TR35: Seth Hallem, 28 . Teknologigennemgang. Dato for adgang: 29. januar 2011. Arkiveret fra originalen 8. juni 2011. (ubestemt)
13. ↑ 2009 Technology Fast 500 Ranking | Teknologi Fast 500 | Deloitte LLP (utilgængeligt link) . Deloitte.com (23. september 2010). Hentet 28. november 2011. Arkiveret fra originalen 26. oktober 2011. (ubestemt) 
14. ↑ Coverity kåret som et af de hurtigst voksende virksomheder i Nordamerika . Californien: PR Newswire (20. oktober 2011). Hentet 4. maj 2012. Arkiveret fra originalen 21. oktober 2011. (ubestemt)
15. ↑ Coverity vinder SIIA CODiE Award for bedste softwareudviklingsløsning . Californien: Coverity (11. maj 2012). Hentet 5. december 2012. Arkiveret fra originalen 23. november 2012. (ubestemt)

Links

• Softwaretest og statiske analyseværktøjer . Coveritys officielle hjemmeside . Hentet 14. marts 2022. Arkiveret fra originalen 5. juni 2016. (ubestemt)