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

在本次网络研讨会中，我们会谈到软件质量在高安全嵌入式系统中的重要性、嵌入式软件缺陷的类型以及如何使用基于抽象解释算法的代码分析工具Polyspace检测及证明代码中存在或不存在最难被发现的软件运行时错误，解释什么是抽象解释的算法以及Polyspace如何能证明代码的安全性。

随后用具体实例演示使用Polyspace的几种方式，并且介绍Polyspace在网络安全方面的更新。

出版年份: 2016 年 3 月 17 日

反馈

下一个:

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

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...

Explore how to use Polyspace to comply with security standards and detect a variety of critical software defects and security vulnerabilities.

Embedded Security with Polyspace Static Analysis

In this webinar you will see how Polyspace static analysis tools can be applied in an agile workflow to develop medical device software free of critical run-time errors and defects.

Developing Medical Device Software with Zero Bugs

查看更多相关视频