目标:在Polyspace Bug查找器和Polyspace代码验证器中进行软件开发。对所有的c程序进行手工分析。

• 麻省理工学院Softwareentwicklungsprozesse Polyspace
• Einführendes Beispiel zur代码验证
• 分析冯·德克滕和劳夫蔡斐勒

目标:analysieren von代码，der nicht ansi-c konform ist。Berücksichtigender Laufzeitumgebung und desausführungskontextsund Korrigieren von defekten und Verletzungen von code-regeln mit Polyspace Bug Finder。

• Typische Artefakte einer Laufzeitumgebung
• Verifizieren von prozessorspezifischem码
• Defieren desausführungskontext.
• Berucksichtigen der Zielhardware
• 德克滕的分析者和Handhaben von德克滕
• Aufspürenvon计划米尔里希林尼安弗莱恩
• Erfassen冯Codemetriken

目标:Nutzen verschiedener Werkzeuge des Polyspace代码箴言，UM Durch Die Ergebnnisse des Polyspace代码Prover Zu Navigieren，und Um Diese Zu Interpetieren。

• Überblick über死抽象的诠释
• analysieren des aufrufbaums.
• 导航器在Quellcode中
• analysieren derausführungspfade.
• Untersuchen der Wertebereiche von Variablen
• Analysieren der Zugriffe Auf Globale Variablen

目标:Untersuchen Von Verifikationsergebnissen，UM Das Verhalten der Unterschiedlichen Checks Kennenzulernen，und Um Polyspace代码Prover Zu Ihrem EntwickLungsProjekt Passend Zu Konfigurieren。

• Uberblick uber C-Quellcode-Checks
• 检查我的Quellcode
• Interpretieren der Checkbeschreibungen.
• Einstellen相关的选择

目标:Handhaben von Ergebnissen Mit Zahlreichen Unbewiesenen Checks。

• Bestimmen des Verifikationsaufwands
• Durchführen eines schnellen评论
• Untersuchen ausgewählter unbewiesener检查
• Einstellen der Verifikationsgenauigkeit.
• 优先考虑未充分的依esEner检查
• Durchführen eines评论unbewiesener检查

目标:Anpassen der Art Und Weise Mit Der Polyspace代码Prover Fehlenden代码Behandelt，UM Die Verifikation Eines Softwaremoduls SinnvollZuPräzisieren。

• 模具验证
• Stubben von funktionen
• einschränkenvon wertebereichen.
• Schreiben von manuellen funktionsstubbs

目标:分析和解决问题，主要是代码集成zusammenhängender软件模块。

• Verwalten von调节
• analysieren von sich bei der集成ergebenden defekten undrichtlinienverletzungen mit Polyspace Bug Finder und PolySpace代码箴言
• Importieren冯Reviewinformationen

目标:编写了完整的代码分析应用程序。

• Aufsetzen静脉Applikationsverifikation
• Ergebnisse的应用验证
• Aufspürenvon artensmitnebenläufigkeit
• Vergleichen von Robuster und Kontextueller验证
• Erstellen冯Dokumenatation

目标:在一个简单的程序中，给出了多边形空间的缺陷查找器和多边形空间代码证明器的本征码和积分。Mogliche有信德:

• Polyspace Bug Finder-checks
• Verifikation冯c++代码
• Nebenläufigkeit和分析gemeinsameer变量
• 验证自动生成代码
• 回顾des Entwicklungsprozesses
• 额定共同化
• 客户机/服务器安装
• PolyspaceFüreinprojekt konfigurieren
• 解释der Ergebnisse