杰夫·查普尔,MathWorks公司
本网络研讨会介绍了Polyspace代码验证工具,以实现健壮的软件质量。
Polyspace使用称为抽象解释的唯一正式的法基于静态代码分析方法。该方法可以找到其他技术可能会错过错误。通过演示和例子,The MathWorks公司的工程师将展示Polyspace如何帮助嵌入式软件检测错误,并证明该软件不包含运行时错误。
Polyspace允许您:
检测在C/ c++ /Ada代码中难以发现的运行时错误
- 地址DO-178B / C,ISO 26262,IEC 61508认证
- 减少测试和验证周期
- 跟踪软件质量度量
我们还为您提供在Polyspace的最新版本中的新功能的更新。