李彦博
Parasoft大中华区资深方案架构师
李彦博， Parasoft大中华区资深方案架构师，拥有超过10年软件测试与质量保障经验，精通C/C++语言及多种功能安全与信息安全标准，包括ISO 26262、ISO 21434、EN 50518、IEC 61508等，善于将测试理论应用于金融、汽车、轨道交通、嵌入式及军工等高要求行业。 在多个重点行业项目中，成功运用C/C++test等工具链，协助客户构建符合功能安全认证的C/C++代码质量体系。针对汽车客户，结合Docker等环境实现C++测试流程集成；在金融领域，协助客户搭建基于Jenkins/TFS的持续测试平台，有效应对人员流动带来的代码管理挑战；在军工及电力行业，则从单元测试覆盖度与认证合规角度切入，定制白盒测试方案，提升代码安全等级。 多次在金博会、汽车学术展会及嵌入式大会中进行技术宣讲，展现C++测试与软件质量保障方面的技术优势，推动多项商务合作落地。致力于通过专业的C++测试方法与系统化工具链，帮助客户实现高质量的软件交付与长期质量提升。
演讲主题
从自动化到智能化: Al重塑C++软件测试未来
简介：在C++构建的安全关键系统中，软件质量直接关乎生命与财产安全。传统自动化测试虽提升了效率，但在应对代码巨量、场景复杂及深度缺陷挖掘上已触及瓶颈。我们正站在范式转移的关口：人工智能正在将测试从“自动化执行”推向“智能化决策”。 本次演讲将基于Parasoft C/C++test在众多高规格行业（如汽车、工业自动化、民航等）的实践，分享如何利用AI技术赋能C++软件质量体系建设。我们将探讨借助 AI 更高效地提升静态分析的精准度、智能生成高覆盖率测试用例、并实现测试用例的自动化。这不仅关乎通过认证（如ISO 26262），更关乎构建一个能够自主学习、适配并预测风险的下一代软件质量保障体系，为C++生态的可靠性与安全性树立新标杆。 大纲： 软件测试面临挑战与AI机遇 C/C++白盒测试解决方案： 智能静态分析： AI如何理解代码意图，大幅降低误报，精准定位深层安全漏洞与代码缺陷 智能测试生成与优化： 基于AI的单元测试自动生成，如何突破覆盖率瓶颈，并自动识别和优化冗余测试用例集。 使用AI加速功能安全进程
