PolySpace代码箴言
Demostracióndeausenciade Erres en Tiempo deEjecuciónNEL软件
Polyspace Coder™ES UNASólidaHerramientadeAnálisisEstáticoQue Demuestra La Ausencia de desbordamientos,DivisiónPorCero,Acceso A阵列福雷德Límitesy otros错误en tiempo deejecuciónenelcódigofuente c y c ++。生产结果SIN NECESIDAD DE EJECUTAR PROGRAMAS,InstrumentAcióndeCódigoo Casos de Prufebas。Polyspace码Prover Emplea ElAnálisisSemánticoYLAINVERATACIONIONATHARTAABASADOS enMétodos正式帕拉Verificar el Comportamiento Tearnocedish,de de Flujo de Datos Del软件。se puede emplear paraverificarcódigoescrito一个mano,códigogenerado o Unacombinacióndamos。Las InstuccionesdeCódigomuestran UnaCodificaCiónPorColores Para Indicars SiEstánCliblesde Erres en Tiempo deEjecución,当前eartes,no se puede Acceder a ellas o no se han comprobado。
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 ParaEstándaresdel SectorestáimensibledravésdeIec认证套件(适用于ISO 26262和IEC 61508)Y DO Resification Kit(对于Do-178和Do-254)。
旅行:
DemostracióndeLaausencia de Erres en Tiempo deEjecuciónCríticos
Identifique Las Operaciones delCódigoc / c ++ y ada que nuncatheearán联合国错误en tiempo deejecución,deediermente de las condiciones。
Deteccióndeer错误que eludenotrosmétodosdeclobación
Analice Todas Las Rutas deCódigoConeActiono A Todas Las Posibles Entradas Sin Necesidad de EjecutarCódigo。
CreacióndeArtefactosdeCertificación
完整的El Proceso deCertificaCiónNELCASOde Objetos Basados enEstándaresdel Sector。
comperensióndelaunaraízde los问题y mejora deldiseño
检查el flujo de control y de datos atravésdel software y VeaInformaciónderangoasociada con变量Y Operadores。
Elusióndel Comportamiento de Software Imprevisto
Localice Todas Las SeccionesdeCódigoALASQUE NO SE PUEDE ACCERA ATRAVÉSDENINGUNARUTA DE EJECUCIONION Y LOS ERRERESNALLENGICA Y LA ESTRUCTURA DEL PRODALA。
Rastreo de结果os deVerificacióndeCódigoen Modelos de Simulink金宝app
ejecutelaverificaciónenelcódigogenerado y rastree los hallazgos hasta el bloque de modelo de origen en simuli金宝appnk。
AutomatizacióndelcocesodeverificacióndeCódigo
使用PolySpace代码Prover Server™Para Ejecutar El Motor deAnálisisEstáticodePolyspace代码Prover en Un Une Equipo Servidor Con Herramientas deAutomatizaciónde Compilaciones Como Jenkins Y Bamboo。
NotificaciónyCargade结果os para laRevisiónColaborativa
Asigneautomáticamentelos defectos洛杉矶平台De Los Componentes,Envíe通知POR CorreoElectrónicoY Cargue Los结果乐en Polyspace代码箴言帕拉塞伊队y resolver los问题。
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。
Objetivos de Calidad de Proyectos Y软件
Los Paneses MuestranInformaCiónQue Se Puede公共设施Para Supervisar La Calidad Del软件,El Estado del Proyecto,ElNúmerodedectos,LasmétricasdelCódigoylosobjetivos de Calidad del软件。
IntegraciónConLas Herramientas de Rasteo de Erress存在
利用者La Interfaz de Navegador Web Para Crear Y Asignar门票en Herramientas de Rastreo de Errores Como Jira。
Soporte para compiladores.
Configuracióndeanálisissimplificada paracódigocompilado con Compiladores renasas sh c
Soporte Para C ++ 17
EjecuteAnálisisdepolyspaceencódigocon funcionalades de c ++ 17
Soporte para 金宝appsimulink.
Genere Y Empaquete Archivos de Opciones de Polyspace Desde Un Modelo de 金宝appSimulink
Exportaciónde结果
Exporte结果结果De Polyspace Formatos Externos,Tales Como Sarif Y JSON
Soporte para asonosar.
ConfiguraciónPimplificadade Un Proyecto de Polyspace Desde LaConfiguracióndeToMosar
咨询Las.Notas de laVersiónPara Obener Detalles Sobre estascaracterísticasy las funciones eadenderes。