使用Polyspace进行软件代码运行错误检查和验证

嵌入式软件开发对于代码质量有很高的要求，特别是安全关键系统， 潜在的代码运行期错误可能会带来巨大损失。在此主题中我们将会为大家介绍MathWorks代码错误检查及运行期安全验证的工具Polyspace®。具体内容将涉及：

  • Polyspace 产品基本功能介绍
  • Polyspace产品使用技巧
  • 使用Polyspace追踪代码质量
  • Polyspace帮助进行DO-178B/C, ISO 26262等标准认证

录制日期: 2014 年 5 月 6 日

反馈

下一个:

内容摘要： 嵌入式软件开发特别是安全关键系统对代码质量有很高的要求，潜在的运行期错误可能会带来巨大的损失。MathWorks公司的Polyspace产品是采用静态分析和形式化方法进行C/C++及Ada代码错误检查和运行期错误证明的工具。Polyspace产品可以快速有效的找到软件代码中的错误及潜在的运行期错误，从而提高软件代码的质量和可靠性。 在本次讲座中，我们将介绍： Polyspace产品

使用Polyspace进行软件代码错误检查和运行时错误证明

相关视频:

随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace进行代码验证，找到隐藏的BUG，从而减低纠错的代价。

Polyspace在软件代码验证中的应用

采用Polyspace检测软件运行时缺陷并证明软件的安全性。

采用静态代码分析软件Polyspace开发高质量嵌入式软件

Functional safety standards such as IEC 61508 and ISO 26262 require dedicated activities related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching objectives of

Embedded Software Verification with Polyspace Products for...

Check code for compliance to MISRA C rules, identify and fix violations, and generate a report for documentation.

Checking MISRA Code Rule Compliance with Polyspace Products