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

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

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