-
往期回顾
AI驱动，可信为锚丨上海控安受邀出席2026博创汽车AI与智能驾舱一体化测试技术日
为智能网联汽车的高质量发展保驾护航
已有150人参与
10月15日，2026博创汽车AI与智能驾舱一体化测试技术日在上海嘉定汽车城圆满落幕。本次活动聚焦舱驾融合架构下的跨域联调与系统化验证，邀请150+各大车企、Tier1及检测机构专业代表现场参与，通过实车体验、静态展示与技术研讨相结合的形式，集中检验智能座舱与智能辅助驾驶在同一计算平台下的协同表现。
上海控安产品和解决方案部总监乔琪博士受邀出席，于“AI与智能驾驶测试”分会场发表 “神经符号AI驱动的汽车软件智能测试：从智能生成到可信验证” 主题演讲，围绕舱驾一体化下的软件验证挑战、大模型赋能单元测试生成、神经符号协同的可信测试方法及工程实践与验证证据链展开系统分享。
在舱驾一体化趋势下，软件验证正面临前所未有的挑战。乔琪博士以“帮我泊车”的交互场景为例，生动阐释了多模块协同、条件组合多样带来的测试复杂性。面对大模型在辅助生成测试初稿时的高效与局限，她分享了“神经符号协同”的创新解法：神经网络层负责语义理解与场景补全，找出“还应该查什么”；符号方法层则依靠精确求解生成可执行用例，验证“实际能不能运行”。通过这种“神经网络赋能，符号执行可信”的闭环，确保测试用例既覆盖全面，又具备可追溯的证据支撑。
这一方法论已在工程实践中成功落地。上海控安自主研发的SmartRocket TestGrid嵌入式软件自动化测试平台，在其用例生成环节接入多源/私有化大模型并统一管控，通过结构化Prompt注入接口规约、代码上下文、覆盖目标与输出格式约束，结合知识库检索领域规则、历史用例和缺陷模式，由Agent完成任务规划、解析、工具调用、用例生成与自检迭代，输出可执行测试用例。
目前，智能网联汽车产业正加速迈向深水区，软件质量与安全已成为决定产业高度的核心命脉。作为市、区两级政府共建的研发与转化功能型平台，上海控安始终立足国家战略，聚焦工业软件国产化替代与高安全嵌入式软件测试验证。未来，上海控安将继续发挥平台优势，以自主可控的核心工具链为基石，助力中国汽车产业在AI驱动的智能化下半场构筑更加安全、可信的技术底座，为智能网联汽车的高质量发展保驾护航。
