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