用于Ada的Polyspace Client™和用于Ada的Polyspace Server™提供代码验证，以证明源代码中没有溢出、除以零、超出边界的数组访问和某些其他运行时错误。他们使用静态代码分析不需要程序执行、代码检测或测试用例。多空间产品的Ada使下载188bet金宝搏用正式的方法技术称为抽象解释验证代码。在运行时验证结果中，每个Ada操作都用颜色编码，以表明它是否没有运行时错误、已被证明失败、不可达或未被证明，如下所示:
用于Ada的Polyspace Server允许您调度在计算机集群上运行的验证任务。使用Ada的Polyspace Client将作业提交到服务器。您可以将作业集成到自动构建流程中，并设置电子邮件通知。您可以通过Web浏览器查看缺陷和回归。
Polyspace for Ada帮助您:
30天的探索触手可及。
获取价格信息并探索相关产品。下载188bet金宝搏
选择网站
选择一个网站，在那里获得翻译的内容，并看到当地的活动和优惠。根据您的位置，我们建议您选择:．
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
与当地办事处联系
