31:47视频长度是31:47。
全面的静态分析使用Polyspace产品s manbetx 845
Polyspace产s manbetx 845品使用静态代码分析和正式的方法来验证您的软件。他们帮助你检测,证明没有溢出的情况下,除界外数组和其他运行时错误的源代码。
在这个网络研讨会您将学习如何使用Polyspace产品检测错误,调试和修复您的代码。s manbetx 845您还将学习如何验证您的代码与证据表明代码是安全的和鲁棒性。我们将讨论如何使用Polyspace达到认证标准,如做- 178、IEC 61508和FDA法规。
与示威活动,我们将向您展示如何Polyspace代码验证证明没有关键在你的嵌入式软件运行时错误。Polyspace错误发现者扩展此功能通过识别各种运行时错误,数据流的问题,和其他缺陷。
记录:2013年10月24日
你也可以从下面的列表中选择一个网站:
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。