主讲人：王超

时间：2026年5月11日16：00-16：30

地点：现代产业大楼学术报告厅

主讲人简介：

王超，上海软件中心软工所创新发展部部长，上海市十三届青联委员会委员，春申金字塔青年创新人才。全国信安标委 WG5、WG7、SWG-BDS 工作组成员，全国信标委云计算、量子标准工作组成员。长期从事传统及新一代信息技术系统质量与信息安全评估、技术研究及软件研发工作。获授权发明专利 3 项，参与已立项或验收的国家、市级科研项目 4 项，发表论文 4 篇；参编已发布国家标准、团体标准 20 余项，参编出版辞书 1 项，获软件著作权 10 余项。

内容摘要：

本报告聚焦量子计算在NISQ时代的核心挑战，针对量子软件特有的脆弱性、高昂硬件执行成本及噪声干扰问题，系统性突破静态分析（MindLint）、少样本缺陷预测（QDP-FSL）、大模型增强测试（QDP-Context）等测试方法，基于算法优化提出适应于量子软件的测试用例生成技术，同步推动量子线路数据标准化与多平台互操作性建设，构建覆盖“设计-开发-测试-维护”全生命周期的质量保障体系，为量子应用提供可靠性支撑。