杰夫•Chapple MathWorks
本次网络研讨会将介绍用于实现健壮软件质量的Polyspace代码验证工具。
Polyspace使用一种独特的基于形式方法的静态代码分析方法,称为抽象解释。通过演示和示例,MathWorks的工程师将展示Polyspace如何帮助检测嵌入式软件中的错误,并证明该软件不包含运行时错误。
Polyspace允许您:
检测C/ c++ /Ada代码中难以发现的运行时错误
-地址DO-178B/C,ISO 26262,IEC 61508认证
-减少测试和验证周期
跟踪软件质量度量
我们还为您提供了Polyspace最新版本中可用的新特性的更新。
记录时间:2012年5月11日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。