Polyspace：消除运行时错误在关键嵌入式软件
杰夫·查普尔，MathWorks公司
此网络研讨会介绍了实现强大的软件质量的PolySpace代码验证工具。
Polyspace使用了一种独特的基于形式化方法的静态代码分析方法，称为抽象解释。通过演示和示例，MathWorks工程师将展示Polyspace如何帮助检测嵌入式软件中的错误，并证明该软件不包含运行时错误。
Polyspace，您可以：
- 检测很难发现在C / C ++ / Ada代码的运行时错误
- 地址DO-178B / C，ISO 26262，IEC 61508认证
- 减少测试和验证周期
- 跟踪软件质量度量
我们还为您提供在Polyspace的最新版本中的新功能的更新。
其他资源
相关视频和网络研讨会
您还可以选择从下面的列表中的网站：