lol总决赛竞猜

登录 | 注册 | English

lol总决赛竞猜学院

lol总决赛竞猜  >  lol总决赛竞猜学院  >  学院科目  >  测试与试验  > 基于Matlab工具链 的App静态分析

基于Matlab工具链 的App静态分析

课程背景:基于模型设计 的方式开发控制器应用层App逐渐成为主流,特别是新能源领域、智能驾驶领域,通过基于模型设计开发应用层App 的方式大大提高开发效率、缩短开发周期、降低开发成本,而对模型和所生成代码进行静态检查可以提高App规范性、在开发阶段解决App 的部分潜在危险,且App静态检查通常基于工具自动进行,实行效率高,对App质量改进效果好。

App静态检查,根据检查对象 的不同分可以分为对模型 的检查和对代码 的检查,根据检查内容 的不同可以分为基于规范 的检查和潜在风险检查,以下分别作简要先容:

对模型 的检查:

     针对模型 的建模规范包括MAAB、MISRA AC SLFL、ISO 26262等标准规范,其中大部分可以在Matlab中进行自动检查;

     针对模型 的潜在风险包括App详细设计和模型实现方法中 的风险项,比如除零问题、数据溢出问题、查表精度问题等;

对代码 的检查:

     针对代码 的常用编码规范为MISRA C 2012;

     针对代码 的潜在风险包括数据流、控制流、调度问题等设计问题,也包括除零问题、数据转换问题等App实现问题;

以上提到 的模型和代码 的问题都可以通过Matlab工具链 的相关工具箱来完成:建模规范检查可以通过Simulink Check来实现,模型潜在风险分析可以通过Simulink Design Verifier来实现,编码规范检查和代码潜在风险分析可以通过Polyspace Bug Finder或Polyspace Code Prover来实现。其中Polyspace Bug Finder和Polyspace Code Prover在检查内容和检查结果上又存在区别。
本课程将从原理、实施方法、结果分析到App修复方法等各个方面系统性 的先容App静态检查。本课程所先容 的方法论和实施方法,可以引导App开发 的过程提高App质量,协助App开发人员进行App自查保证项目进度,协助App验证人员在动态测试之前发现问题提高工作效率,也可以做为OEM验收供应商交付App提供依据。
电竞比赛竞猜讲师团队成员是来自于一线 的工程师,具有该领域5年 的专业经验,除了对基于模型开发 的方法和技术体系精通以外,还了解ISO 26262、ASPICE对App开发及验证方法 的要求,并多次担任电竞比赛竞猜相关对外培训和线下研讨会讲师,丰富 的实战项目经验以及培训辅导经验得到众多学员 的认可。 
 

课程名称:基于Matlab工具链 的App静态分析

●  课时: 2天

●  必备常识: 具有Matlab/Simulink使用基础、具有C语言基础

●  授课对象: App开发工程师、App测试工程师、App集成工程师等。

●  课程收益

     了解App静态检查在App及控制器开发过程中 的作用;

     掌握提高模型及代码质量、降低潜在风险 的方法及要求,保证App质量;

     掌握Matlab工具链进行模型和代码静态分析 的方法和流程,具App静态检查、结果分析及代码改进 的能力。

 

课程内容:

●  App静态检查内容先容

    目标了解App静态检查 的意义、内容和作用

    内容先容App开发流程,App开发、验证过程总静态分析 的内容、作用、实施方法。

●  App潜在错误和风险项先容

    目标了解App潜在错误和风险 的内容,以及在模型和App中 的表示形式。

    内容分别先容模型和代码中经常存在或开发过程中需要注意和处理 的风险项;

●  建模规范先容

    目标了解基于模型开发过程中需要遵守 的建模规范以及在模型中 的正反例实现 

    内容逐条、详细先容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人小班公开课有利于培训效果

●  课程包含演讲、练习、讨论,并提供足够 的机会给大家提问、交流经验

●  培训后提供持续 的技术支撑服务

课程大纲下载

 

 

关于lol总决赛竞猜
企业概况
企业理念
企业资质
资讯中心
lol总决赛竞猜在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进lol总决赛竞猜
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
lol总决赛竞猜月刊
用户留言
个人中心
PMT留言
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? lol总决赛竞猜-电竞比赛竞猜-lol全球总决赛下注 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图