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

京滨电子装置研究开发(上海)有限公司 Hua Sun

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

录制日期: 2014 年 6 月 19 日

相关产品

了解更多

静态分析说明
相关信息
查看 MathWorks汽车年会所有视频

反馈

下一个:

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

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

相关视频:

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

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

This webinar introduces the Polyspace code verification tool for achieving robust software quality. Polyspace uses a unique formal-method based static code analysis approach called abstract interpretation. The method makes it possible to find errors

Polyspace: Eliminating Runtime Errors in Critical Embedded...

Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices.

Writing Secure Code with Polyspace Static Analysis

IEC 61508 and ISO 26262 certification for embedded software describes certain aspects of safety related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching safety

Embedded Software Verification for IEC 61508 and ISO 26262

查看更多相关视频