Polyspace客户端™用于Ada comprueba la ausencia de desbordamientos, división por cero, accesso a arrays fuera de límites y otros error en tiempo de ejecución en código fuente Ada83 y Ada95。在必要的紧急方案中产生结果,instrumentación de código o casos de pruebas。Polyspace的Ada em恳求客户端técnicas de interpretación抽象的basadas en métodos formales para verificar el código。结果análisis se muestran en el propio código fuente。卡达instrucción de código está codificada por colorores, que indican si la instrucción está自由的错误在时间上的自由ejecución,不可接近,como有缺陷的,没有comprobada。Polyspace客户端为Ada muestra información严肃的los rangos的变量y从量值的,蒸馏的,funciones, y puede comprobar qué变量超los límites de rango especificados。
Puede utilizar Polyspace客户端软件,用于编写和修改所有设备análisis de código。
Comprobación奥森西亚的错误críticos en tiempo de ejecución
código Ada83 o Ada95及时改正ejecución。识别指示的方法presentarán错误及时的方法ejecución,独立的方法及时的方法ejecución。我们的脆弱时刻ejecución我们的成功之路,变量之路árboles我们的成功之路,结果之路。Polyspace客户端Ada utiliza métodos formales对位探测误差que otros mechanismos de pruebas no logran探测器。那是一种código con todas las possible entradas sinesesidad de ejecutar código。
Análisis彼此对等的互动
组织配置文件,文件análisis estático de código zh unsubconjunto de proyectos de software para calificar los cambios en el código antes de enviarlo al repositorio de código fuente。使用Polyspace客户端进行Ada para general通知,并修改分类结果。找出原因raíz完整的错误在未来的depuración,调查,在未来的教育,教务长的错误在时间上的ejecución。
Mejora del diseño de software y la comprensión de código
利用软件对控制数据和操作方法进行检查información我们有自己的想法。
Optimización del rendimiento del软件
艾里米娜·拉programación防御身份识别操作seguras y protegidas,故事como la división por cero。识别ramas de código不可访问的través de una ruta de ejecución, así como errres de lógica y en la structura del programa, y程序a su eliminación para reducir la shallow iciie de memoria。
Análisis del uso de variables global ales
depuración讲的操作/有全局变量,包括区域和子过程的比较变量。我的控制之路,我的秘密,我的秘密,我的秘密gráfico我的秘密,simultáneo。识别变量全局没有利用para optimizar el código。
Pruebas estáticas de la seguridad de aplicaciones
。第20段:CWE的脆弱性。análisis Polyspace客户端,用于Ada的补充和重新创建一个新的pruebas模糊así poder centrararen operacones识别了一些漏洞。
我的爱,我的爱,我的爱
Utilice Polyspace客户端为Ada para mejorar las pruebas de solidez enfocándolas en instrucciones comprobadas como inseguras, tales como división por cero desbordamientos。利用Polyspace客户端为límites分词的Ada para crear y mantener pruebas, análisis del flujo de control y datos, así como los rangos calculados de parámetros de funciones y global variables。