就在Facebook收购Whatsapp的同一天,Synopsys以3.75亿美金收购了代码分析测试公司Coverity。
Coverity是软件开发测试领域的领导者,好奇号火星车飞行和着落功能软件(200多万行代码)即由Coverity测试。全世界有超过1100家组织提供服务使用Coverity开发测试套装产品,自动测试源代码查找软件缺陷,这些缺陷可能导致产品出现崩溃、意外行为、安全漏洞或灾难性故障等情况。
Coverity 的核心技术是“静态分析”(static analysis)。静态分析技术是指在不运行程序的情况下,经过对代码的分析,自动的找到程序里面可能出现的问题。Coverity的技术主要针对C、C++、Java等语言。因为Coverity在该领域掌握了世界上最先进的一些技术,所以虽然是一家只有200多人的小公司,却让很多人离不开它。这家小公司的忠实客户,包括了一系列巨头:美国宇航局, 波音, 洛克希德马丁,雷神(Raytheon),BAE Systems,丰田,欧洲原子能中心(CERN)…… 事实上,Coverity的客户包括:
- 世界排名前10位的7家国际品牌
- 航空航天和国防领域全球排名前10位的公司
- 全球消费性电子产品排名前10位的公司
- 顶级电信公司排名前10家的8家公司
- 排名前10位软件公司中的前7家
Synopsys公司(Nasdaq: SNPS)是全球领先的电子设计自动化(EDA)软件工具领导厂商,为全球电子市场提供技术先进的集成电路(IC)设计与验证平台,致力于复杂的芯片上系 统(SoCs)的开发。Synopsys公司总部 设在美国加利福尼亚州Mountain View,有超过60家分公司分布在北美、欧洲、日本与亚洲。
撰文 SegmentFault
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。