作者|徐文普 　　

　　编辑|贞子 　　

　　** 　　

　　36Kr了解到，国内基础软件提供商泛连欣安近日获得中国互联网投资基金的战略投资。此轮融资将进一步加大研发投入。投资底层核心技术，加快产品升级和市场推广。 　　

　　潘新安成立于2017年，是一家自主创新的基础软件提供商，为行业提供软件质量测试、软件安全测试、数字电路验证三大类产品。 　　

　　潘新安所开发的开发支撑基础软件在《“十四五”软件和信息技术服务业发展规划》中被明确列为重点基础软件。由于关键基础软件处于软件产业和集成电路产业的顶端，理论复杂度高，开发周期长，生态门槛高，人才匮乏，再加上过去我国在这一领域的投入和积累不足，国内大部分产品远远落后于国外。泛新安副总经理郑光辉告诉36Kr，在国际竞争新常态的背景下，国内市场对此类基础软件的需求正在快速爆发，但目前市场的供给端存在明显的短板：一是现有产品包括国外产品的大部分成熟产品，在满足用户需求方面仍存在诸多不足。比如软件安全测试领域的静态测试工具，各类产品的误报率高，极大地限制了工具的使用效果；二是国内基础软件市场产品供给有限，自主创新能力弱；第三，在技术路线上，基础软件产品的开发也需要跟上技术的提高和完善。 　　

　　针对上述痛点，依托国防科大、清华、中科院等高校、华为、新思科技等行业人才的技术和产业背景，近年来，范里安新安自主研发了软件质量测试、软件安全测试、数字电路验证(EDA)三大类10多个产品。其中，软件质量测试工具主要解决现有工具自动化程度不高、测试用例覆盖率低、不适合国内软硬件平台的问题。软件安全测试工具主要解决安全测试规则覆盖不全、准确率低、无法深度分析大规模代码等问题。数字电路验证工具主要专注于数字电路前端验证领域，解决国内平台适配和自主开发的问题，特别是针对高端工具的突破。 　　

　　(泛联新安产品矩阵) 　　

　　“我们做产品和考虑工业解决方案的思维逻辑和国外大公司差不多。目前，我们的产品线看似分为三类，但实际上，它们在底层核心技术上有很多相似之处。”潘新安副总经理郑光辉向36Kr介绍了其产品发展历程。“早期，我们从单元测试开始开发软件质量测试工具。后来我们扩展到静态测试工具，因为静态测试技术是质量测试和安全测试的一项基础技术。做了静态测试工具之后，自然就要交叉到安全测试工具了。三年前，我们开始了EDA系列的研发。目前，我们率先在国内推出成熟的RTL码缺陷检测产品，其他产品正在陆续研发中。” 　　

　　36Kr了解到，泛连欣安在编译技术、形式化方法、程序静态分析、程序动态分析、人工智能等底层技术上积累了产学研合作，并形成了统一的技术框架。在此基础上，公司在成立五年内，构建了三条产品线，开发了十余种产品。 　　

　　谈及公司的核心竞争力，范里安新安表示，技术创新和市场打磨带来的产品领先性能是其最大的壁垒。潘新安以公司开发的软件质量测试工具“智能单元测试工具iUnit”为例。其动态符号执行和约束求解技术是程序分析领域的一项新的前沿研究，其自动生成测试用例的覆盖率超过90%， 　　

　　公司称，在其他核心产品中，静态分析工具“CodeSense”基于“大规模价值流图分析技术”，可实现跨文件、跨十余级功能的隐藏缺陷检测；――BinSearch，二进制代码SCA分析平台，是国内成熟的二进制代码构件分析产品，可以实现基于海量构件的功能级粒度分析。“智能模糊测试工具-――XFuzz”是该公司针对动态漏洞挖掘的旗舰产品之一，采用并行加速技术。 　　

　　在市场方面，泛连欣安表示，其竞争对手主要是传统的国外厂商，国内厂商数量较少。潘新安表示，与前者相比，公司享有更好的本地市场资源和本地化服务能力，完全适应国内发展环境；与后者相比，泛连欣安产品线丰富，产品性能突出。同时，依托产品矩阵，具备提供工具链的能力，可以在软件开发和测试过程中为客户提供整体解决方案。 　　

　　在客户方面，泛联新安专注于军工、航空航天、轨道交通、金融等领域，积累了100多家客户，其中大部分是行业内的首批客户。 　　

　　团队方面，泛盟新安有近150人，有R & ampd类人员约占80%。主要成员来自国防科大、清华、北航、哈工大等国内知名高校，以及新思科技、华为等国际知名企业。此外，泛联新安还与国防科大、清华大学、中科院等建立了产学研合作关系。目前，公司拥有67项核心知识产权申请、授权发明专利和软件著作权，并获得了NeoCertify、CWE等国内外认证。