就在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测试