31:47视频长度为31:47。
使用Polyspace产品进行综合静态分析s manbetx 845
Polyspace产s manbetx 845品使用静态代码分析和正式方法来验证您的软件。它们可以帮助您检测并证明源代码中没有溢出、除零、越界数组和其他运行时错误。
在本次网络研讨会中,您将学习如何使用Polyspace产品来检测错误,调试和修复代码。s manbetx 845您还将学习如何使用证明来验证代码,以显示代码的安全性和健壮性。我们将讨论如何使用Polyspace来实现DO-178, IEC 61508和FDA法规等标准的认证。
通过演示,我们将向您展示Polyspace Code Prover如何证明嵌入式软件中不存在严重的运行时错误。Polyspace Bug Finder通过识别各种运行时错误、数据流问题和其他缺陷扩展了这一功能。
录制日期:2013年10月24日
你亦可选择下列网址:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。