Polyspace Bug Finder.

Idendificacióndefertesde SoftwareMedianteAnálisisEstático

Polyspace Bug Finder™Identifica Errer en Tiempo deEjecución,upcernamilidades de seguridad y otros defectos en软件emebido c y c ++。TravésdeAnálisisEstático,包括Zhantico,Polyspace Bug Finder Analiza El Control Del软件,El Comportamiento Tempercentural。Al Resaltar Los defectos en Cuanto Se探测,渗透Clasificar Y Corregir Los Errores en Una Etapa Temprana del Proceso de desarrollo。

Polyspace Bug Finder Comutuba La Conformidad ConEstándaresdegercificatifificaciónComoMisraC.®,Misra C ++,JSF ++,CERT®C Y Cert.®C ++,AsíComoConConvenciones de Nomenclatura Personalizas。Genera Informes Que Chertuyen Los ErceNes incontrados,Inflacciones de Reglas deCodificaciónymétricasde Calidad delCódigo,Cantuida La ComplejidadCiclomática。Puede USAR Polyspace Bug Finder Con El IDE De Eclipse™Para VerificarElCódigoen Su Equipo de Escripitorio。

en el caso delcódigoanyadoautomáticamente,Los结果os de Polyspace Se Pueden Rastrear Hasta Los Modelos de Simulink金宝app®y los bloques de dspace®targetlink.®

El Soporte ParaEstándaresdel SectorestáizunibledravésdeIec认证套件(ara iso 26262 e iec 61508)y do pressification套件(para do-178)。

旅行:

localizacióntemprana de Errer杜兰特El Desarrollo

Identifique Cientos de Clases de Erres En El Momento de Escribir O Modififar ElCódigo。

LocalizacióndelaunaRaízdefergescomplejos

VisualiceElCódigoen Una Vista deDepuriónConrasteode Eventos,Valores de VariablesYárbolesde Llamadas。

Cree Su Pervia Ruta deNavegación。

Rastreo delAnálisisdeCódigoHastaLosModelos de Simuli金宝appnk

EjecuteAnálisisen elcódigogenerado y Rastree los Hallazgos Hasta El Bloque del Modelo de Origen。

Rastree LosAnálisisdeCódigoHastaElModelo。

Configuraciónpara cualquier Enorno en Tiempo deEjecución

Integle Polyspace Bug Finder Con Culcquier Compilador,Procesador de destino O Entorno RTOS。

Establecimiento de Opciones de Compilador Y Destino。

CreacióndeCódigoSeguroy蛋蛋白

CORTUEBELA CALIDAD COROVERO洛斯·埃斯塔尼亚斯工业部。

Conformidad Con Reglas deCodificAcióny Requisitos deCertificsación

实现Misra C,Misra C ++,AutoSAR C ++ 14,JSF ++ Y Reglas PersonalitAdas。Garantice La Conformidad Con ISO 26262,DO-178,IEC 61508,EN 50128,IEC 62304等。

Conformidad ConEstándaresde Seguridad Qualcional。

Cumplimiento de Requisitos de seguridad

Garantice La Conformidad COR C / C ++,ISO 17961 Y Misra C:2012修正案1。

ConfiguracióndeLaclobacióndeLasReglas deCodificación。

SuperiSióndaCalidaddel Software de Su Proyecto

比较LOS ResultAdos de LosAnálisisConumbralesde Calidad para que El Equipo de Software Pueda Colaborar y Supervisar Los Hitos del Proyecto Cons Facilidad。

Filtrado de结果。

AutomatizacióndeLosAnálisisdeCódigoConPolyspace Bug Finder Server

Lleve A Cabo UnaIntegraciónContuaMediante LaRealizacióndanálisisSobre洛斯·坎比奥德·哥多戈德Forma Temprana Y Con Frecuencia。

Análisisde Compilaciones Integradas

ejecute el motor deanálisisestáticode polyspace bug finder server™en Un Equipo Servidor Con Herramientas deautomatizacióndocomicacionescomojenkinsybamboo。

Contentacióndeprofticospolyspace en su Entorno deOttentaciónContinua。

NotificaciónyCargade结果os para laRevisiónColaborativa

Asigneautomáticamentelos defectos洛杉矶平台De Los Componentes,Envíe通知Por CorreoElectrónicoY Cargue Los ResultAdos en Polyspace Bug Finder Access Para Clasificar y Resolver Los问题。

Envíode notificaciones por correo电泳one con los结果os de Polyspace Bug Finder。

RevisiónColaborativaCon PolySpace Bug Finder访问

Comparta Los ResultAdos delosanálisisylasmétricasde calidad con El Equipo de desarrollo de软件。

RevisióndegultAdosdeanálisispara clasificar y resolver问题

Polyspace Bug Finder Access™Proporciona Una Interfaz de Navegador Web Para Los ResultAdos de LosAnálisisdeCódigoEstáticode Polyspace YLasmétricasde Calidad Almacenadas en Un Revositorio Central。Junto Con ElCódigo,Se Muestran Herramientas deNavegaciónCaraInventarLos ResultAdos de LosAnálisisEstáticos。

Ventana de Detalles de los结果。

SupervisióndeCalidadde ProyectosYmétricasdeCalidadde软件

Los Paneses MuestranInformaCiónQue Se Puede公共利用Para Supervisar La Calidad Del软件,El Estado del Proyecto,ElNúmerodedectosylasmétricasdelcódigo。

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ónde门票。

Funcionicaladesmás重新获得

Soporte Para Compiladores.

配置ElAnálisisde Polyspace Para emuarl LOS Compiladores De Microchip MPLAB XC16 Y XC32

Soporte para 金宝appsimulink.

Analice ElCódigopersonalizado llamado desde bloques函数c

Comprobadores de Robustez Con Contraejemplos

Ejecute UnAnálisisMásEstrictoQue Considere Todos Los Valores de incrada del Sistema,Cantuidos Los CasosLímitenuméricos,Y Vea Valores de Ejetrevo Que Concucen A联合国缺陷

Comprobadores de Rendimiento.

CORTUEBE LAS PRACTICAS DE CODIFICACIONION QUE PUEDEN EACERAR QUE RENDIMIEDO EN ELCódigoC ++

Soporte para cert c

CORTUEBE LAS INFRACACIONES DE TODAS LAS REGLAS DE CERT C,包括纽埃瓦斯COLOCACIONES PARA问题DE SEGURIDAD DE SUBPROCESOS Y DATOS Concidenciales Codificato

咨询Las.Notas de laVersiónPara Saber Los Detalles Sobre estascaracterísticasy las funciones eadendereses。