Polyspace Bug Finder™识别运行时的错误，问题的一致性，vulnerabilità di sicurezza e altri difetti nel软件嵌入C e c++。利用静态分析，包括语义分析，Polyspace Bug Finder程序间同步控制，同步数据传输软件。证据，我的difetti非阑尾的vengono rilevati， è可能的分类，我们的risolvere i bug più velocemente nel processo di sviluppo。
Polyspace Bug Finder verifica la conformità agli标准delle regole di codifica come MISRA C®， misra c++， autosar c++ 14，证书®C, CERT c++提供了一种个性化的规则命名约定。报告的总称包括:i bug rilevati, violazioni delle regole di codifica e metriche di qualità del codice, tra cui la complessità ciclomatica。
代码自动生成，Polyspace®Simulink仿真软件®e blocchi dSPACE®TargetLink®．
所有的IEC认证套件(根据ISO 26262和IEC 61508)和DO认证套件(根据DO-178)不支持众多工业标准。
识别azione dei bug e delle vulnerabilità del软件
个体不同的种类di bug来自vulnerabilità di sicurezza, difetti di concorrenza e difetti numerici。配置l' analysis per qualsiasi compilatore, processore target e ambiente RTOS。
Conformità agli标准di codifica
应用gli标准嵌入式编码软件来实现MISRA - CMISRA c++， AUTOSAR c++ 14, JSF++， le regole di命名约定个性化。
测试静态的应用
Rileva vulnerabilità我的问题，我的问题，我的问题，我的问题，我的问题。Rispetta gli standard e le linee guida di codifica in materia di sicurezza comeCERTC/ c++， CWE, ISO 17961 e MISRA C:2012修订本
每certificazione Assistenza
Crea crei arfatti必须是根据IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C的标准工业工业生产的完整的过程和证书，以più的方式生产的产品。
Integrazione con Simulink e statflow
我是说，我是说，我是说，我是说，我是说，我是说，我是说，我是说动态仿真模块o al graficoStateflow®corrispondente。Avvia l 'analisi Polyspace directtamente dall 'ambiente Simulink。
Analisi interattiva sul桌面
我的电脑桌面。个别的原因，我的错误，我的错误，我的错误，我的错误。Risolvi i risultati e generi报告。
Risorse di产品:
“Con Polyspace possiamo garantire la sicurezza e la qualita del软件individuando e correggendo gli errori critici di运行时的戴尔'unione一些codici。”
Johannes Foufas，沃尔沃汽车公司
Vuoi saperne di più su Polyspace Bug Finder?
Novita
您也可以从以下列表中选择网站: