46:32视频长度是46:32。
Polyspace:消除在关键的嵌入式软件运行时错误
这个网络研讨会介绍了Polyspace代码验证工具实现健壮的软件质量。
Polyspace使用基于独特的规范方法的静态代码分析的方法称为抽象的解释。方法可以发现错误,其他技术可以通过示威和例子,小姐MathWorks工程师将展示Polyspace有助于检测嵌入式软件中的错误,证明软件不包含运行时错误。
Polyspace允许你:
——检测很难找到运行时错误在C / c++ / Ada代码
地址做- 178 b / C, ISO 26262、IEC 61508认证
——减少测试和验证周期
-跟踪软件质量度量
我们也为您提供一个更新的Polyspace的最新版本的新特性。
记录:2012年5月11日
你也可以从下面的列表中选择一个网站:
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。