泛联新安AI辅助开发工具以程序分析为可信约束层，落地智能制造企业

2026年10月，湖南泛联新安信息科技有限公司市场中心运营总监胡春山在接受采访时，介绍了公司AI辅助开发工具的定位。该工具将团队多年积累的高可信领域测试经验注入嵌入式垂域AI模型，以程序分析能力作为AI的“可信约束层”，解决AI生成内容不可靠的问题。

胡春山表示，大模型擅长生成但存在幻觉，程序分析擅长验证、能守住确定性。团队将静态动态分析、形式化验证等传统程序分析能力融入代码生成全流程，把功能安全标准植入代码生成环节，用自动化测试替代人工评审，从根源上对抗AI生成内容的不可靠性。

据他介绍，这一融合技术已在汇川技术等智能制造头部企业落地，服务上千名嵌入式开发人员，AI生成代码占比达到30%，带动整体开发效率提升15%、测试效率提升50%以上。

泛联新安从高可信软件测试赛道起步，2023年启动AI转型，提出“AI For Trusted Code”战略，其AI辅助开发工具聚焦嵌入式垂域，并依托本土团队提供定制化适配。近一年，公司客户增长率和业绩增长率均突破50%。