Polyspace Bug的搜索
Identifiez莱défauts杜logiciel AVEC L'分析statique
Polyspace Bug的搜索™已识别LES erreurs运行时，莱problèmes德同意，莱vulnérabilités安全局等其他残疾défauts丹斯莱logicielsembarquésC等C ++。格雷斯A L'分析statique，Y compris L'分析sémantique，Polyspace Bug的搜索分析莱元件De被CONTROLE杜logiciel，莱通量德最近搜索等文件comportement过程间。恩mettant恩证据莱défautsDES勒尔检测，IL VOUS柏美日特里尔等去corriger莱erreurs乐宫首演杜突未德发展署。
Polyspace Bug的搜索vérifie拉即符合辅助NORMES德règles德codage特列斯阙MISRA C®，MISRA C ++，JSF ++，CERT®C,证书®C ++，AINSI qu'aux公约德nommagepersonnalisées。伊尔génèreDES rapportsrépertoriant莱erreursdétectées，莱侵犯DESrègles德codage和lesmétriquesassociées金网，COMME LAcomplexitécyclomatique。Polyspace Bug的搜索peut理由utiliséAVEC L'IDE Eclipse™的倒杜仪代码河畔VOTRE ordinateur。
为了实现代码的自动化，在模拟模型中，多空间的结果与轨迹是一致的万博1manbetx®et aux blocs dSPACE®TargetLink®。
支持标万博1manbetx准的工业标准IEC中级认证工具包(ISO 26262和IEC 61508)或者认证工具包(DO-178)。
恩飘出加：
标识符LA原因PRINCIPALE DES错误络合物
可视化编码模式调试，包括偶数，变量的值和计数。
Créer德VOTRE舍曼德导航。
示踪器在Simulink模型中分析代码万博1manbetx
ExécutezUNE分析河畔乐代码généré等tracez VOSrésultatsjusqu'au集团源丹斯乐MODELE。
示踪L'分析杜代码jusqu'au MODELE。
S'intégrer丹斯TOUS LES environnements运行时间
集成了Polyspace的Bug查找器，它有重要的编译器、程序和环境。
定义选项宫杜compilateur等德拉cible。
通过认证的密码和安全协会成员
Appliquez LESrèglesMISRA C，MISRA C ++，AUTOSAR C ++ 14 ++ JSF阙AINSI DESrèglespersonnalisées。Conformez-VOUS AUX NORMES ISO 26262，DO-178，IEC 61508，EN 50128，IEC 62304等其他残疾。
即符合辅助NORMES安全局fonctionnelle。
待人莱NORMES安全局
Conformez-vous aux normes CERT C/ c++， ISO 17961和MISRA C:2012修正案1。
控制编码的配置。
Suivre LA QUALITE logicielle德VOTRE谟
分析了合作的质量、发展的条件和项目的效果、合作的表现和合作的结果。
Filtrage的结果。
分析器des构建积分
Polyspace Bug Finder Server™在一台机器上执行程序，该机器可以根据Jenkins或竹子的结构进行自动构建。
生产、空间、环境的一体化继续进行。
结果的通知和公布都是一种协作
它的特点是自动处理合成的缺陷，通过电子邮件通知和输入在Polyspace的Bug Finder访问中的结果，为这些问题的解决提供便利。
通过邮件通知Polyspace的Bug查找结果。
一页莱résultatsDE L'分析倒faciliter乐三拉等分辨率DESproblèmes
Polyspace Bug Finder Access™您可以通过一个界面网络，对代码统计进行结果分析，并对您在参考集中存储的质量指标进行计算。导航的应用是为了检验统计分析的结果并把它写成代码。
这就是结果。
确定产品质量和logicielle质量
莱斯舞台造型德BORD affichent德信息阙VOUS pouvez utiliser倒乐suivi德拉QUALITE logicielle，DE L'政变杜谟，杜农布雷迪奥斯défauts和desmétriques德代码。
画面德BORD DE SYNTHESE杜谟。
对于存在的虫子来说，这是不可能的
使用接口web为用户和分配票，并将票分配到所使用的虫子的数量上。
创建德门票。
万博1manbetx支持DES compilateurs
définissezUNE分析Polyspace倒émulerDES compilateurs Microchip的MPLAB XC16等XC32
万博1manbetx支持德模型万博1manbetx
analysez杜代码personnaliséappeléàpartir DES集团C功能
Vérificateurs德robustesse AVEC DES驳，exemples
effectuez UNE分析加stricte魁恩出了点L'孔特宫合奏德valeurs杜主菜SYSTEME，notamment莱CAS NUMERIQUES极端，等analysez莱exemples德valeurs魁conduisent联合国défaut
Vérificateurs日演出
vérifiez莱pratiques德codage易感D'occasionner DESproblèmes去表演丹斯乐代码C ++
万博1manbetx支持德拉norme CERT C
核查确实存在违反规定的情况，新的核查线程的安全问题和敏感问题
Consultez LES注意到德版倒恩飘出加河畔CESfonctionnalités和les fonctions correspondantes。
