Polyspace代码验证
Bestätigung der Abwesenheit von Laufzeitfehlern in Software
Polyspace Code Prover™ist ein leistungsfähiges Tool für statische Analysen, mit die Abwesenheit von Fehlern wie Überlauf, Division durch null,数组- zugriffe außerhalb des gültigen Bereichs and anderen Laufzeitfehlern in C- und c++ - quellcode nachgewiesen werden kann。Eine Ausführung des programs, Eine Code-Instrumentierung oder Testsituationen sind hierfür nicht erforderlich。Anhand von semantischer analysis and abstrakter Interpretation basierend auf formalen Methoden überprüft Polyspace Code Prover das prozessübergreifende sowie das Kontrollfluss- und Datenflussverhalten der Software。Damit können Sie handgeschriebenen Code, generierten Code order eine combine der beiden überprüfen。这是我们的代码,我看一下,这是我们的代码,我看一下,这是我们的代码。
Polyspace Code Prover zeigt bereichinformationen für Variablen und Funktionsrückgabewerte und kann nachweisen, welche Variablen vorgegebene Bereichsgrenzen überschreiten。代码验证können zur Überwachung von Qualitätsmesswerten和Überprüfung der Übereinstimmung mit Softwarequalitätszielen verwendet werden。Polyspace Code Prover kann für die verification von Code auf Ihrem Desktop-Computer mit Eclipse™IDE verwendet werden。
Die Unterstützung von Branchenstandards ist möglich über das IEC认证套件(适用于ISO 26262和IEC 61508)和das DO认证套件(适用于DO-178和DO-254)。
杰特·贝金宁:
Bestätigung der Abwesenheit von kritischen Laufzeitfehlern
您现在的位置是:虫网>资源下载> C/ c++ and Ada-Code
我们可以把所有的东西都放在一起
请您输入密码:mögliche Eingaben或Code-Ausführung。
Erstellung冯Zertifizierungsdokumenten
Schließen Sie die Zertifizierungsverfahren für Ihre Projekte nach gültigen indistristandards ab。
对于问题的解答和对问题的解答
Überprüfen您可以使用这个软件,也可以使用这个软件的详细信息,我们可以使用这个软件的变量和操作者。
对于软件来说,这是非常重要的
您可以使用代码- abschnitte, die über einen Ausführungspfad nicht erreichbar sind, sowie Fehler in Logik and programstruktur。
Nachverfolgung der Code-Verifikationsergebnisse zu 万博1manbetxSimulink-Modellen
在Simulink zurück中验证您的generierten Code和verfolgen Sie die zum ursprünglichen modelblock。万博1manbetx
Automatisierung der Code-Verifikation
Verwenden Sie Polyspace Code Prover Server™,um die Engine für statische Analysen von Polyspace Code Prover mit Build-Automatisierungstools wie Jenkins and Bamboo auf einem Servercomputer auszuführen。
Meldung和上传von Ergebnissen für die gemeinsame Überprüfung
Lassen Sie Defekte automatich den Besitzern der jeweiligen Komponente zuweisen, Benachrichtigungen per E-Mail versenden and Ergebnisse in Polyspace Code Prover Access hochladen, um Probleme vorzuselektieren and zu lösen。
Überprüfen von Analyseergebnissen,嗯,有问题吗? lösen
Polyspace Code Prover Access™bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der Code- verifikation mit Polyspace and Qualitätsmesswerten, die in einem zentralen Repository gespeichert werden。在浏览器können中输入导航代码验证,输入导航代码验证,输入导航代码验证,überprüfen。
Projekt——和Softwarequalitatsziele
在Dashboards werden Informationen angezeigt中,die Sie zur Überwachung der Softwarequalität, des projectstatus, der Anzahl der Defekte, der Code-Metriken und der Softwarequalitätsziele nutzen können。
bug跟踪工具
Verwenden Sie die Webbrowseroberfläche zum Erstellen and Zuweisen von Tickets mit Bug-Tracking-Tools wie etwa Jira。