Parasoft_AI赋能下的白盒测试解决方案.pdf

1、AI赋能下的白盒测试解决方案Shannon演讲大纲软件测试面临挑战与AI机遇1代码级测试解决方案2使用AI加速功能安全过程3AIAI技术的兴起与赋能潜力大模型，是具有庞大参数规模和复杂计算结构的机器学习模型。（参数，是指在模型训练过程中，学习和调整的变量。参数定义了模型的行为、性能、实现的成本以及对计算资源的需求。简单来说，参数是模型内部用来做出预测或决策的部分。）大模型的出现AI目前的发展阶段当前的人工智能已近乎达到强人工智能的水平。未来，它将进一步发展为超强人工智能，广泛渗透于我们的日常生活，届时我们将把众多工作任务及应用场景委托给AI，以期其创造更多的价值。构建坚固的金字塔more in

2、tegrationmore isolationslowerfaster传统软件测试方法的瓶颈与痛点你是否也会遇到类似问题 缺陷定位慢 用例设计难 复杂场景不足 维护成本高 功能安全挑战演讲大纲软件测试面临挑战与AI机遇1代码级测试解决方案2使用AI加速功能安全过程3白盒级测试工具 Parasoft C/C+test静态分析单元测试代码覆盖率分析持续集成数据流控制流分析技术在SIL早期即可发现运行时问题40+代码度量，量化解决性能瓶颈一键式应用安全关键性行业最佳实践自 1997 年以来单元测试行业领导者自动生成高覆盖率的健壮性测试套件轻松地扩展和定制生成测试用例暴露功能问题和程序崩溃的缺陷全面检

3、查软件功能与需求符合度极大降低单元测试人工成本集成从单元级到应用程序级测试覆盖率跟踪测量九种覆盖率指标，包括代码行、语句、代码块、路径、判定(分支)、简单条件和MC/DC覆盖率等灵活生成和优化测试用例以增加覆盖率自动生成安全关键性领域的覆盖率报告文档无缝集成开发者IDE：Eclipse，VS，Workbench，CCS等无缝集成构建管理工具：Ant，Maven，Gradle等无缝集成持续构建系统：Jenkins，Team City，Others无缝集成源码控制系统：Git，SVN，TFS，Perforce等运行时错误检测暴露应用程序执行时的内存、资源类缺陷覆盖单元测试到应用程序/系统测试阶段只

4、报告运行阶段真正发生的缺陷轻量级测试适用于嵌入式测试自1994年以来静态分析行业领导者4800+规范，广泛支持汽车行业标准30+规范类库专利规则定制技术RuleWizard需求双向追溯无缝集成Polarion、CodeBeamer、Jira、TeamForge等需求管理软件实现需求到代码，需求到测试的双向关联追踪。统计需求被实现和验证的覆盖率数据，在需求管理系统和DTP报表中查看。C/C+testISO26262 软件级产品开发的参考阶段模型Part 6：产品开发：软件级6-5 软件级产品开发的总论6-6 软件安全需求规范拟定6-7 软件架构设计6-8 软件单元设计和实现6-9 软件单元验证6

5、-10 软件集成和验证6-11 嵌入式软件测试 静态分析 数据流/控制流分析 度量指标分析 基于变更分析 自动化单元测试 需求测试双向追溯 代码覆盖率 自动化集成测试 代码覆盖率 服务虚拟化 目标设备上测试 仿真器上测试 在环测试Parasoft 对应 ISO 26262 软件产品开发验证过程6-5 软件产品开发总则6-8 软件单元设计和实现6-9 软件单元验证6-10 软件集成和验证6-11 嵌入式软件的测试Part 6：产品开发：软件级Parasoft C/C+test 支持标准合规性Parasoft C/C+test 检查代码是否符合各种功能安全、安全性和编码标准。提供自动生成标准合规性

6、所需的文档。MSIRA AUTOSAR CERT CWE DISA-ASD-STIG OWASP ISO26262 DO-178B/C IEC 61508 IEC 62304 EN 50128 UL 2900静态分析检查遵循编码标准 对MISRA和AUTOSAR的支持单元测试编译器支持支持编译器ARMWind RiverClangKongFu GCCDesignWare ARC MetaWare.GNU GCC支持更多定制Green Hills SoftwareHexagonHighTecIAR CompilersMicrochipMicrosoftNational InstrumentsQN