本白皮书描述:

  • 传统测试技术在验证嵌入式软件中的挑战和局限性
  • 如何在开发生命周期的早期发现bug
  • 如何利用形式方法技术来防止嵌入式软件故障

现在阅读白皮书,了解如何开始使用Polyspace®s manbetx 845您下一个项目的产品。

了解更多

30天的免费试用

应用这些概念并免费运行示例代码。