Polyspace代码验证
Demostracióndeausenciade Erres en Tiempo deEjecuciónNEL软件
Polyspace Code Prover™es sólida herramienta de análisis estático demestra la ausencia de bordamientos, división por cero, accesto a arrays de límites and otros error en emempo de ejecución en el código fuente C y c++。产生了驱逐程序所必需的结果，instrumentación código或普鲁士的卡索斯。Polyspace代码验证器为análisis semántico或interpretación摘要为métodos，对程序间的组合进行验证，控制和数据流动的软件。请您检查código, código generado o una combinación的救护车。在código muestran的指导下codificación根据指示的颜色为están的时间错误ejecución，提出的错误，不能接受一个或多个的错误。
Polyspace代码普罗弗·莫斯特拉信息y valores de rango sobrevefción，y puede indiparqué变量superanloslímitesde rango equimicados。Los ResultAdos de laVerificacióndeCódigoSePePueden USAR帕拉拉斯特·梅特拉科斯·德拉达德Y Comprobar La Conformidad Con Los Objetivos de Calidad del软件。Puede Utherizar PolySpace代码Prover Con El IDE De Eclipse™Para Verificar ElCódigoen Su Equipo de Escripitorio。
El soporte para estándares del sector está disponible a través de IEC认证套件(适用于ISO 26262和IEC 61508) y DO资格套件(适用于DO-178和DO-254)。
Mas给:
Demostración de la ausencia de errores en empo de ejecución críticos
Identifique Las Operaciones delCódigoc / c ++ y ada que nuncatheearán联合国错误en tiempo deejecución，deediermente de las condiciones。
Deteccióndeferensentiempo deejecución。
Detección无法回避的错误métodos de comprobación
Analice Todas Las Rutas deCódigoConeActiono A Todas Las Posibles Entradas Sin Necesidad de EjecutarCódigo。
Jerarquia de llamadas。
Creación人工制品certificación
完整的El Proceso deCertificaCiónNELCASOde Objetos Basados enEstándaresdel Sector。
做资格工具包。
Comprensión的原因raíz的问题和mejora的diseño
检查el flujo de control y de datos atravésdel software y VeaInformaciónderangoasociada con变量Y Operadores。
Descripción在ejecución的时间内可能发生的情况。
Elusióndel Comportamiento de Software Imprevisto
当地的código的secciones没有加入través的ninguna ruta ejecución的错误在lógica和结构的程序。
localiatacióndecódigo没有ejecutable。
在模拟模型中verificación código的结果万博1manbetx
这个verificación在código中产生了一个hallazgos在模拟中有一个原始模型的bloque。万博1manbetx
Rastreo de结果os deVerificacióndeCódigoHastaelModelo de Simulink。万博1manbetx
Automatización del proceso de verificación de código
使用Polyspace Code Prover Server™para ejecutar el电机análisis estático de Polyspace Code Prover en un equipo servidor con herramientas de automatización de compilaciones como Jenkins y Bamboo。
Automatizacióndelcodesodeverificacióndecódigo。
NotificaciónyCargade结果os para laRevisiónColaborativa
Asigneautomáticamentelos defectos洛杉矶平台De Los Componentes，Envíe通知POR CorreoElectrónicoY Cargue Los结果乐en Polyspace代码箴言帕拉塞伊队y resolver los问题。
Envío相关通知electrónico Polyspace代码验证结果。
RevisióndeuthyAdosde PolySpace代码箴言Para Clasificar y解析器问题
Polyspace代码Prover Access™Proporciona UNA Interfaz de Navegador Web Para Los ResultAdos deVerificacióndeCódigoylasmétricasde calidad de Polyspace Almacenados en Un RechoSitio Central。umegacióndel navegador web paraindigo，Que Se Muestran Junto Con Este，Las Invenientas deNavegacióndelnavegador Web ParaInvestagióndeCódigo。
Deteccióndeferensentiempo deejecución。
Objetivos de Calidad de Proyectos Y软件
该委员会的目的información为利用para监督软件的calidad del del proyecto, el número de defectos, las métricas del código y的目标的calidad del del software。
Panel deVisión通用Del Proyecto。
IntegraciónConLas Herramientas de Rasteo de Erress存在
利用者La Interfaz de Navegador Web Para Crear Y Asignar门票en Herramientas de Rastreo de Errores Como Jira。
Creación de un ticket。
