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óndelaunaRaízdefergescomplejos
VisualiceElCódigoen Una Vista deDepuriónConrasteode Eventos,Valores de VariablesYárbolesde Llamadas。
Rastreo delAnálisisdeCódigoHastaLosModelos de Simuli金宝appnk
EjecuteAnálisisen elcódigogenerado y Rastree los Hallazgos Hasta El Bloque del Modelo de Origen。
Configuraciónpara cualquier Enorno en Tiempo deEjecución
Integle Polyspace Bug Finder Con Culcquier Compilador,Procesador de destino O Entorno RTOS。
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等。
Cumplimiento de Requisitos de seguridad
Garantice La Conformidad COR C / C ++,ISO 17961 Y Misra C:2012修正案1。
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。
Análisisde Compilaciones Integradas
ejecute el motor deanálisisestáticode polyspace bug finder server™en Un Equipo Servidor Con Herramientas deautomatizacióndocomicacionescomojenkinsybamboo。
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问题。
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。
SupervisióndeCalidadde ProyectosYmétricasdeCalidadde软件
Los Paneses MuestranInformaCiónQue Se Puede公共利用Para Supervisar La Calidad Del软件,El Estado del Proyecto,ElNúmerodedectosylasmétricasdelcódigo。
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.
配置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。