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

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

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

出版年份: 2016 年 3 月 17 日

反馈

下一个:

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

相关视频:

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

Polyspace: Eliminating Runtime Errors in Critical Embedded...

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

查看更多相关视频