PolySpace Client™for ADA的ADA和PolySpace Server™提供代码验证，证明缺少溢出，返回零缺失的数组访问以及源代码中的某些其他运行时错误。他们使用静态代码分析这不需要程序执行，代码仪器或测试用例。用于ADA的Poly下载188bet金宝搏Space产品使用正式方法技术称为抽象解释以验证代码。在运行时验证结果中，每个ADA操作都是颜色编码的，以指示它是否没有运行时错误，经过验证，无法访问，无法访问或未经证实，如下：

• 绿色的：验证没有运行时错误
• 红色的：每次执行操作时都会验证错误
• 灰色的：经过验证无法访问（可能表明功能问题）
• 橙色的：所有运行时间条件都没有

用于ADA的PolySpace服务器允许您安排在计算机集群上运行的验证任务。作业使用用于ADA的PolySpace客户端提交给服务器。您可以将作业集成到自动构建过程中并设置电子邮件通知。您可以通过Web浏览器查看缺陷和回归。

Ada的Polyspace有助于您：

• 检测难以找到运行时错误和正式证明他们在ADA源代码中的缺席
• 追踪软件质量指标并确保你的软件质量目标满足
• 看法范围信息确定变量和函数参数的范围和返回值
• 与以前的验证结果相比，专注于运行时误差的差异
• 为DO-178等标准创建文物以认证