INFO:
内容摘要: 嵌入式软件开发特别是安全关键系统对代码质量有很高的要求,潜在的运行期错误可能会带来巨大的损失。MathWorks公司的Polyspace产品是采用静态分析和形式化方法进行C/C++及Ada代码错误检查和运行期错误证明的工具。Polyspace产品可以快速有效的找到软件代码中的错误及潜在的运行期错误,从而提高软件代码的质量和可靠性。 在本次讲座中,我们将介绍: Polyspace产品
使用Polyspace进行软件代码错误检查和运行时错误证明 - MATLAB & Simulink