커버리티

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
커버리티
Coverity, Inc.
형태 비상장
산업 분야 소프트웨어
창립 2002년11월
본사 샌프란시스코,캘리포니아
핵심 인물 CEO: Anthony Bettencourt
CTO: Andy Chou
제품 Static Analyzer, Dynamic Analyzer, Architecture Analyzer, Integrity Control
종업원 170
웹사이트 http://www.coverity.com

커버리티(Coverity) 는 샌프란시스코에 본사를 둔 소프트웨어 제조업체이다. 2002년에 창립되었고 170[1]여명의 직원이 있다.

제품[편집]

Coverity Static AnalyzerC, C++, C#, Java 소스 코드정적분석 툴이다. Stanford Checker[2]라는 이름으로 개발된 프로젝트가 상용화 된 제품이다.

Coverity Dynamic AnalyzerJava 소스 코드를 분석하기위한 툴이다. 2008년에 처음 출하되었고[3], 경합조건, 데드락, 불필요한 synchronization을 검출해내는 용도로 사용된다.

그 밖의 제품으로는 Coverity Architecture Analyzer, Coverity Integrity Control이 있다.

오픈 소스에 대해 자사의 정적분석을 수행하여 검출된 결함들을 자사가 운영하는 Scan (http://scan.coverity.com/) 사이트를 통해 오픈 소스 그룹에 공개하고 있다.

미국 스탠퍼드, 카네기멜론, 버클리 등의 대학교와 산학협력을 맺고 있다. 2011년 2월에 아시아 지역에서 최초로 KAIST와 산학협력을 체결하였다.[4]

2011년 9월, 유럽 입자물리 연구소(CERN)가, 강입자 충돌기(LHC)의 데이터를 분석하는 소프트웨어의 품질을 측정하기 위해 커버리티를 도입했다.[5]

참고[편집]

바깥 고리[편집]