“我国拥有全球极为丰富的工业应用场景与海量产业数据，这正是人工智能落地应用的优质土壤。”近日，湖南泛联新安信息科技有限公司市场中心运营总监胡春山接受记者采访时表示：“我们有信心打造更适配中国开发者的智能工具，实现产业从‘跟跑’向‘领跑’的跨越。”
如果把软件开发比作建大楼，程序员就是建筑师，传统开发工具像手工绘图，那泛联新安做的，就是一套能自动查错、给优化建议、甚至生成部分代码的智能设计软件，让开发过程又快又稳。
“简单来说，我们做的是‘造软件的软件’。” 胡春山向记者介绍道。
以芯片设计为例，芯片对设计精度要求极高，流片成本也十分昂贵。泛联新安的工具可以辅助设计人员开展仿真与测试工作，在流片投产前完成设计方案的正确性校验。
2023年起，捕捉到人工智能带来的产业变革机遇，泛联新安启动AI业务转型，并于今年将企业战略升级为“AI For Trusted Code”（引领可信智能开发）。
当前，通用 AI 编程热度高涨，但这类产品大多面向互联网、消费应用软件领域。对此，泛联新安没有选择研发通用大模型，而是锚定工业基础软件赛道，主攻面向嵌入式开发、工业软件开发的垂直大模型与 AI 智能体。
工业场景与互联网场景存在显著差异：不少工业代码运行环境要求物理断网，安全等级要求严苛，同时各行各业的行业标准、运行环境各不相同。因此，通用 AI 生成的代码往往无法直接落地运行。
针对人工智能始终存在的“幻觉”痛点，AI可能输出看似逻辑通顺、实则存在缺陷的代码等，泛联新安提出了“AI+程序分析”的解决方案。
大模型擅长内容生成，而程序分析技术擅长结果验证；将两者深度融合，相当于为 AI 增设一层 “可信约束层”：把各类行业标准嵌入代码生成全流程，依靠形式化验证抑制 AI 幻觉，再通过自动化测试补齐人工评审的短板。
胡春山透露，在工业领域，以中国工业自动化领军企业汇川技术为代表的智能制造头部企业，其嵌入式软件开发中AI生成代码占比已达30%，软件部门开发效率提升15%，测试效率提升50%以上。
事实上，传统软件开发最大的痛点是效率与质量难以兼顾，且高度依赖资深工程师的经验，高端人才稀缺。AI+程序分析技术的深度融合，更给泛联新安提供了“换道超车”的机会。
“这套技术方案相当于把资深工程师的行业经验借助AI实现普惠复用：过去需要一名工程师耗时一个月完成的工作，如今一周就能够落地，并且成果依旧符合对应行业规范。”胡春山说。
现阶段，泛联新安围绕软件质量测试、安全测试、芯片/EDA测试、AI智能研发四大业务产线，已自主研发30余款国产工具，累计拥有百余项发明专利，同时也是国家级专精特新重点“小巨人”企业。客户覆盖轨道交通、航天、航空、汽车、芯片等高可信要求行业，去年合作客户数量突破200家，业绩增速超过50%。
潇湘晨报·晨视频记者李轩子
五五策略提示：文章来自网络，不代表本站观点。
