杰夫·查普尔,MathWorks公司
此网络研讨会介绍了实现强大的软件质量的PolySpace代码验证工具。
Polyspace使用一种独特的基于形式化方法的静态代码分析方法,称为抽象解释。通过演示和示例,MathWorks工程师将展示Polyspace如何帮助检测嵌入式软件中的错误,并证明该软件不包含运行时错误。
Polyspace,您可以:
- 检测很难发现在C / C ++ / Ada代码的运行时错误
- 地址DO-178B / C,ISO 26262,IEC 61508认证
- 减少测试和验证周期
- 跟踪软件质量度量
我们还为您提供在Polyspace的最新版本中的新功能的更新。
记录:2012 5月11日
特色产品
我们不会出售或出租您的个人信息。详情请参阅我们的隐私政策。
您到您的MathWorks公司的帐户已经签署。请按“提交”按钮,完成这一过程。
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。