Polyspace Bug Finder.

使用静态分析识别软件错误

Polyspace Bug Finder™Identifica Errori di Run-Time,ConceConirza,vullnerabilitàdi sicurezza ealtri difetti在Un软件嵌入式c e c ++。Urilitizzando l'Analisi Statica,Contrusa L'Analisi Semantiga,Polyspace Bug Finder Analizza IL Software Di Controllo,IL Flusso di Diati E IL Comportamento Internocedurale。evidenziando i difetti非Appena Vengono Rilevati,Puoi Cateorizzare E RISOLVERE I BUGPIùvelocente nel processo di sviluppo。

Polyspace Bug Finder Verifica LaConformitàAgli标准Delle Regole Di Codifica来了Misra C.®,Misra C ++,JSF ++,CERT®C,证书®C ++ E Anche A Regole di命名约定的人性化。Inltree,Genera Report Che Che Includono Bug Rilevati,Violazione Delle Regole di Codifica e MetriChediQualitàdel Codice,Tra Cui LaComplessitàCiclomatica。Puoi Urilitizzare Polyspace Bug Finder Con L'Ecliplse™IDE Per Analizzare IL Codice Sul Tuo Desktop。

Per Il Codice Wenerato自动名称,I Risultati di Polyspace possono Essere Ricondotti A Modelli Simulink万博1manbetx®e blocchi dspace.®targetlink.®

IL 万博1manbetxSupporto Relativo Agli标准工业ItèIndonibilenell'iec认证套件(对于ISO 26262和IEC 61508)E NEL DO Qualification Kit(对于DO-178和DO-254)。

Inizia Ora:

trovare i bug nelle prime fasi dello sviluppo

Fase di Scrittura O Modifica Del Codice中的Idendifica Centiinai Di Classi Di Bug。

Trovare La Causa Principale Dei Bug Complessi

visualiza il tuo codice在Una Vista调试器中的每个Tracciare Eventi,我valori delle variabili e呼叫树。

Creazione del proprio percorso di navigazione。

Ricollegare L'Analisi Del Codice AI Modelli 万博1manbetxSimulink

eseesgui l'analisi sul Codice Generato e Ricollega I Risultati Al Blocco Del Modello Sorgente。

Ricollegare L'Analisi Del Codice Al Modello。

每个qualsiasi Ambiente di运行时配置

Qualsa PolySpace Bug Finder在QualsiAsi Compilatore中,处理器目标E Ambiente RTOS。

Imostazione delle opzioni del Compilatore e del Target。

Rendere Il Codice Sicuro

Traccia laQualitàRispettoAgli Standard del Settore。

Rispettare Le Regole Di Codifica E I Requisiti di Certificazione

Applica Misra C,Misra C ++,AutoSAR C ++ 14,JSF ++ E regole Performizzate。Rispetta ISO 26262,DO-178,IEC 61508,EN 50128,IEC 62304 E Altri标准。

ConformitàAgli标准Di Sicurezza Funzionali。

Rispettare i Requisiti di Sicurezza

Rispetta Cert C / C ++,ISO 17961 e Misra C:2012年Emendamento 1。

Configurazione della Verifica delle regole di Codifica。

Monitorare LaVeritàDeloftronedel Progetto

Confronta I Risultati delle分析aniesi con le sogliediquità每同意al队软件di collaborarepiùfacilmente e监视器le milestones del Progetto。

Filtraggio dei Risutati。

Automatizzare L'Analisi Del Codice Con PolySpace Bug Finder Server

Facilita L'IntegleAzione Contua Eftertuando Prontamente e Con Acmisia Analisi Sulle Modifiche Del Codice。

analizzare le build融合

esegui l'发动机di分析史蒂加多岩Bug Finder Server™Su Una MacChina Server Con Strumenti Di Automazione Delle Build来Jenkins E Bamboo。

Integleazione dei Prodotti Polyspace Nel Tuo Ambiente di Integleazione Continua。

Notificare e Caricare I Risultati Per La Revisione Collaborativa

Assegna自动词条Difetti Ai Proprietari Dei Compancei,Invia电子邮件Di Ipitifica e Carica i Risultati Su Polyspace Bug Finder Access Per Poter Caterizzare e Risolvere I Croundice i Risolvere I Croundi。

Invio di电子邮件di notifica con i risultati di polyspace bug finder。

Revisione Collaborativa Con PolySpace Bug Finder访问权限

Concidivei i risutati dell'analisi e Le MetriChediQuitàConIL Team di Sviluppo del软件。

Rivedere I Risultati Dell'Analisi每种类别Risolvere我有问题

Polyspace Bug Finder Access™Fornisce Un'Interfaccia浏览器Web每个I risultati dell'analisi Statica del Codice Polyspace e Le MetriChediQualitàMenorizate在Un Archivio Centrale。gli strumenti di navigazione per analizzare i risultati dell'analisi statica Vengono Mostrati Accanto Al Codice。

Finestra dei Dettagli dei Risultati。

MontorareLe Metriche diVelitàdel软件e del progetto

Le仪表板Mostrano Le Informazioni Che Puoi Urilitizzare每个显示器LaMetalàdel软件,Lo Stato del Progetto,Il Numero di Difetti E Le Metriche del Codice。

仪表板della panoramica del progetto。

Integleazione Con Lo Strumento di Tracciamento dei Buggià在USO中

utilizza l'Interfaccia浏览器网上每克里拉eassegnare票在Strumenti di triachmento dei bug来jira。

Creazione di票。

Ultoriori Risorse Su Polyspace Bug Finder

Novitàdi Polyspace.

Scopri Le NuoveFunzionsàeIILLIORAMENTIDEI PRODOTI POMISPACE FINALIZZATI ALLER'TTIMIZZAIONE DEI Workflif DI SVILUPPO E Verifica Del软件。