就在Facebook收購Whatsapp的同一天,Synopsys以3.75億美金收購了代碼分析測試公司Coverity。segmentfault
Coverity是軟件開發測試領域的領導者,好奇號火星車飛行和着落功能軟件(200多萬行代碼)即由Coverity測試。全世界有超過1100家組織提供服務使用Coverity開發測試套裝產品,自動測試源代碼查找軟件缺陷,這些缺陷可能致使產品出現崩潰、意外行爲、安全漏洞或災難性故障等狀況。安全
Coverity 的核心技術是「靜態分析」(static analysis)。靜態分析技術是指在不運行程序的狀況下,通過對代碼的分析,自動的找到程序裏面可能出現的問題。Coverity的技術主要針對C、C++、Java等語言。由於Coverity在該領域掌握了世界上最早進的一些技術,因此雖然是一家只有200多人的小公司,卻讓不少人離不開它。這家小公司的忠實客戶,包括了一系列巨頭:美國宇航局, 波音, 洛克希德馬丁,雷神(Raytheon),BAE Systems,豐田,歐洲原子能中心(CERN)…… 事實上,Coverity的客戶包括:app
Synopsys公司(Nasdaq: SNPS)是全球領先的電子設計自動化(EDA)軟件工具領導廠商,爲全球電子市場提供技術先進的集成電路(IC)設計與驗證平臺,致力於複雜的芯片上系 統(SoCs)的開發。Synopsys公司總部 設在美國加利福尼亞州Mountain View,有超過60家分公司分佈在北美、歐洲、日本與亞洲。工具
撰文 SegmentFault測試