课程背景：基于模型设计的方式开发控制器应用层软件逐渐成为主流，特别是新能源领域、智能驾驶领域，通过基于模型设计开发应用层软件的方式大大提高开发效率、缩短开发周期、降低开发成本，而对模型和所生成代码进行静态检查可以提高软件规范性、在开发阶段解决软件的部分潜在危险，且软件静态检查通常基于工具自动进行，执行效率高，对软件质量改进效果好。
软件静态检查，根据检查对象的不同分可以分为对模型的检查和对代码的检查，根据检查内容的不同可以分为基于规范的检查和潜在风险检查，以下分别作简要介绍：
对模型的检查：
♦ 针对模型的建模规范包括maab、misra ac slfl、iso 26262等标准规范，其中大部分可以在matlab中进行自动检查;
♦ 针对模型的潜在风险包括软件详细设计和模型实现方法中的风险项，比如除零问题、数据溢出问题、查表精度问题等;
♦ 针对代码的常用编码规范为misra c 2012;
♦ 针对代码的潜在风险包括数据流、控制流、调度问题等设计问题，也包括除零问题、数据转换问题等软件实现问题;
课程名称：基于matlab工具链的软件静态分析
● 课时：2天
● 必备知识：具有matlab/simulink使用基础、具有c语言基础
● 授课对象：软件开发工程师、软件测试工程师、软件集成工程师等。
● 课程收益：
♦ 了解软件静态检查在软件及控制器开发过程中的作用；
♦ 掌握提高模型及代码质量、降低潜在风险的方法及要求，保证软件质量；
♦ 掌握matlab工具链进行模型和代码静态分析的方法和流程，具软件静态检查、结果分析及代码改进的能力。
课程内容：
● 软件静态检查内容介绍
目标：了解软件静态检查的意义、内容和作用
内容：介绍软件开发流程，软件开发、验证过程总静态分析的内容、作用、实施方法。
● 软件潜在错误和风险项介绍
目标：了解软件潜在错误和风险的内容，以及在模型和软件中的表示形式。
内容：分别介绍模型和代码中经常存在或开发过程中需要注意和处理的风险项；
● 建模规范介绍
目标：了解基于模型开发过程中需要遵守的建模规范以及在模型中的正反例实现
内容：逐条、详细介绍maab和misra ac slfl中要求的建模规范
● simulink check使用方法介绍
目标：掌握使用simulink check进行建模规范检查的方法
内容：介绍基于simulink check进行建模规范检查的流程、方法及结果分析；
● simulink design verifier使用方法介绍
目标：掌握使用simulink design verifier进行隐藏错误分析的方法
内容：介绍基于simulink design verifier识别模型中隐藏错误的流程、方法几结果分析；
● misra c编码规范介绍
目标：掌握misra c 2012对编码规范的要求
内容：详细介绍misra c 2012的要求和实际应用情况。
● 静态代码检查工具对比
目标：掌握现存的静态代码检查工具及其优缺点
内容：介绍当前静态代码检查工具及其优缺点对比。
● polyspace bug finder使用方法介绍
目标：掌握使用polyspace bug finder进行代码静态分析的方法
内容：介绍基于polyspace bug finder进行静态检查的流程、方法及结果分析;
● polyspace code prover使用方法介绍
目标：掌握使用polyspace code prover进行代码静态分析的方法
内容：介绍基于polyspace code prover进行静态检查的流程、方法及结果分析;
服务优势：
● 1000多人的研发团队是培训业务的基础
● 70多门专业课程可以按需选择和定制
● 10多年培训服务的经验是培训质量的保证
● 10人小班公开课有利于培训效果
● 课程包含演讲、练习、讨论，并提供足够的机会给大家提问、交流经验
● 培训后提供持续的凯发官方首页的技术支持服务