Polyspace客户端™Ada而且Polyspace Server™for Ada提供代码验证，以证明源代码中不存在溢出、除零、越界数组访问和某些其他运行时错误。他们使用静态代码分析这并不需要程序执行、代码插装或测试用例。Polyspace产2022世界杯八强谁会赢？品为Ada使用正式的方法用于验证代码的抽象解释技术。在运行时验证结果中，每个Ada操作都用颜色编码，以表明它是否没有运行时错误、被证明失败、不可达或未被证明，如下所示:
- 绿色:证明没有运行时错误
- 红色的:每次执行操作都被证明是错误的
- 灰色的:已证明不可达(可能表示功能问题)
- 橙色:未在所有运行时条件下验证
获得免费试用
30天的探索，触手可及。
准备好购买了吗?
获取价格信息，探索相关产品。2022世界杯八强谁会赢？
额外的Polyspace资源
了解Ada的Polyspace产品2022世界杯八强谁会赢？
了解用于C/ c++的Polyspace产品2022世界杯八强谁会赢？
您也可以从以下列表中选择一个网站: