Polyspace代码验证
从逻辑上讲,普鲁韦兹的缺席是错误的
您现在的位置是:虫虫下载站>资源下载>软件开发> Polyspace Code Prover™is un to analyze static permeto de prouver l'absence d'overflow, de division par zéro, de débordement de tableaux et res errors dans du Code source C et c++。L'exécution du program, L 'instrumentation du code你的测试不是nécessaires。Polyspace Code Prover utilise l' analysis sémantique et l'interprétation abstrabasée sur des méthodes formelles pour vérifier le comportement interprocédural, de contrôle et de flux de données du logiciel。你们可以使用vérifier代码écrit à主要代码généré两种类型的组合。检查指令解码代码为repérée,不包含任何错误,运行时,avérée défaillante,不可访问或非prouvée。
Polyspace代码证明程序可以提供关于变量和值的信息retournées函数,以及关于变量的信息dépassent函数的限制définies。Les résultats de vérification du code peuvent servir à efftuer le suivi des métriques de qualité et à vérifier la conformité à vos objectifs de qualité logicielle。Polyspace Code prout être utilisé avec l’ide Eclipse™pour vérifier du Code sur votre ordinateur de bureau。
支持工万博1manbetx业标准的是assuré标准IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178和DO-254)。
在知道加上:
《Prouver l’absence d’reurs》的运行时评论
识别opérations代码C/ c++等的一个错误运行时,什么是正确的条件'exécution。
Détecter des errors impossible à repérer avec d’autres méthodes de test
Analysez toutes les chemins du code par rapport à toutes les entrées possibilities, sans exécuter le code。
Créez des artefacts pour la认证
Réalisez le process de certification du project basés sur les normes de l'industrie。
理解problèmes和améliorez设计的原理
检查contrôle和données在逻辑上的通量,以及在associées à的变量和à的变量opérateurs上的信息。
Évitez les comportements logiciels indésirables
特卢维兹将代码的部分写在'exécution的代码中,并对逻辑和程序结构的错误进行识别。
Tracez les résultats de vérification du code jusqu'aux modèles 万博1manbetxSimulink
Vérifiez du code généré et assurez la traçabilité des résultats jusqu'au bloc source dans le modèle 万博1manbetxSimulink。
自动化程序vérification du代码
Utilisez Polyspace Code Prover™pour exécuter le moteur d’analysis statique Polyspace Code Prover sur une machine de type serveur avec des outils d’automated intégrés, tel que Jenkins et Bamboo。
通知大家,请大家联系résultats,共同创作一篇讽刺短剧
指定自动化les défauts对成分负责,邮件通知和导入résultats dans Polyspace Code Prover Access在trier和résoudre les problèmes。
检查les résultats de Polyspace Code Prover afin de trier和de résoudre les problèmes
Polyspace Code Prover Access™提供一个界面web pour les résultats de vérification de Code Polyspace et les métriques de qualité stockés danans une base de données centrale。Utilisez les outtill de navigation dans votre navigator web pour étudier les résultats de vérification du code, qui s' affent à côté du code。
项目和逻辑的对象
你可以在监控者qualité du logiciel,项目état,数字défauts,代码métriques和对象qualité du logiciel中使用丰富的信息。
S'intégrer avec les outtill de suivi de bugs that you utilisez déjà
在créer的界面上,把票的分配人在臭虫的前面,Jira。