杰·亚伯拉罕,MathWorks公司
Polyspace产下载188bet金宝搏品使用静态代码分析和正式的方法来验证您的软件。它们帮助您检测和证明源代码中没有溢出、被零除数、越界数组和其他运行时错误。
在这个网络研讨会上,您将学习如何使用Polyspace产品来检测错误,调试和修复您的代码。下载188bet金宝搏您还将学习如何通过验证来验证代码,以显示代码的安全性和健壮性。我们将讨论您如何使用Polyspace来获得DO-178、IEC 61508和FDA等标准的认证。
随着示威活动,我们将向您展示Polyspace代码证明者如何证明你的嵌入式软件缺乏关键的运行时错误。Polyspace错误查找程序通过识别各种运行时错误的延伸这种能力,数据流的问题,以及其它缺陷。
记录:2013年10月24日
特色产品
我们不会出售或出租您的个人联系信息。详情请参阅我们的隐私政策。
您到您的MathWorks公司的帐户已经签署。请按“提交”按钮,完成这一过程。
你也可以从以下列表中选择一个网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。
本网站使用Cookies来改善您的用户体验,个性化的内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用Cookie。请参阅我们的隐私政策了解更多关于cookies和如何更改您的设置。