Polyspace für C/ c++ -Codeverifikation

标签1 von 3

---

Überblick über Polyspace-Prozesse

目标:Verstehen an welcher Stelle im Softwareentwicklungsprozess Polyspace Bug Finder和Polyspace Code Prover richtigerweise eingesetzt werden。Vertraut machen mit den product and hand der分析einfachen c程序。

• Codeverifikationsprozesse
• Ausführen einer codeanalyze mit Bug Finder
• Ausführen einer Codeverifikation mit代码验证器
• 软件问题分析员

代码分析mit Polyspace Bug Finder

目标:代码分析器，ANSI-C konform ist。Berücksichtigen der Laufzeitumgebung und des Ausführungskontexts und korrigieren von defkten und Verletzungen von Code-Regeln mit Polyspace Bug Finder。

• Erstellen eines polyspace projects
• Typische Artefakte einer Laufzeitumgebung
• 验证von prozessorspezifischem代码
• 定义信息zur Zielhardware
• Polyspace Bug Finder中的Analysieren和Handhaben von Defekten
• Aufspüren von MISRA C-Richtlinienverletzungen
• Erfassen von Codemetriken
• Projektvorlagen

分析器冯Polyspace代码证明- ergebnissen

目标:Nutzen verschiedener werkzeeuge des Polyspace Code Prover, um durch die Ergebnisse des Polyspace Code Prover zu navigieren, und um diese zu interpretieren。

• Überblick über die abstrakte解释
• Aufrufbaums分析人员
• Navigieren durch den Quellcode
• 多空间码解释器- ergebnisse
• 全球变量分析

检查zur代码验证

目标:Untersuchen von verfikationsergebnissen, um das Verhalten der unterschiedlichen检查kennenzulernen, and um Polyspace Code证明zu Ihrem entwicklunsprojekt passend zu konfigurieren。

• Überblick über C-Quellcode-Checks
• 多空间代码证明检查auf Laufzeitfehler
• 爱因斯坦相关性可选

标签2 von 3

---

组织方多维空间代码验证与计算

目标:Handhaben von Ergebnissen mit zahlreichen unbewiesenen检验。

• 代码验证程序
• Programmausführungsreihenfolge
• Priorisieren orange markierter Laufzeitfehler-Checks

Präzisieren von Verifikation mit Polyspace Code Prover

目标:Anpassen der Art and Weise mit der Polyspace Code Prover fehenden Code behandelt, um die验证eines软件模块sinvoll zu präzisieren。

• Einfluss von fehlendem Aufrufkontext auf die验证
• Stubben von Funktionen自动化公司
• Einschränken von Wertebereichen
• Schreiben manueller funktionsstub

集成分析mit Polyspace Access

目标:Verifizierungsergebnisse mit zunehmender Codekomplexität mithillife von Polyspace Access™verwalten。整合分析解释和鲁棒分析。

• 提交后工作流mit Polyspace Access
• Kontextabhangige Verifikation
• 分析在集成的情况下，可弯曲的，可折叠的和Richtlinienverletzungen

分析einer complete的应用

目标:代码应用分析。

• Aufsetzen einer应用验证
• Aufspüren von sich aus Nebenläufigkeit ergebenden问题
• Ersetzen von Assembly- order Hardwarefunktionen
• 在Polyspace的Umgang mit Code von Drittparteien
• Dokumentieren von Ergebnissen

标签3 von 3

---

hands - in Übungen (nur bei Vor-Ort-Schulungen)

目标:Anwenden des Gelernten auf den eigenen Code and integrieren von Polyspace Bug Finder and Polyspace Code Prover in einen entwicklunsprozess。Mögliche Themen信德:

• Polyspace Bug查找器-检查
• c++代码验证
• Nebenläufigkeit und分析gemeinsam genutzter变量
• 验证自动满足通用代码
• 回顾企业发展
• Prozessintegration
• 客户机/服务器安装
• Polyspace für ein Projekt konfigurieren
• Ergebnisse的解释

安航F: mit Polyspace Desktop集成分析

目标:验证kationen mit zunehmender Codekomplexität verwalten。集成分析解释和鲁棒分析结果。

• Kontextabhangige Verifikation
• Erstellen neuer模块
• 分析在集成的情况下，可弯曲的，可折叠的和Richtlinienverletzungen