Ziel：诠释社会学的welcher颗星IM Softwareentwicklungsprozess Polyspace Bug的搜索UND Polyspace代码证明器richtigerweise eingesetzt werden。Vertraut玛沁MIT书房Produkten anhand德分析EINES einfachen C-节目评析。

• Softwareentwicklungsprozesse MIT Polyspace
• EinführendesBeispiel楚Codeverifikation
• 分析冯Defekten UND Laufzeitfehlern

Ziel：分析程序，不符合ANSI-C标准。Laufzeitumgebung和Ausführungskonten和korrigieren de Defekten和Verletzungen de Code Regeln mit Polyspace Bug Finder的代码库。

• Typische Artefakte einer Laufzeitumgebung
• 验证prozessorspezifischem代码
• Ausführungskontext定义
• BerücksichtigenDER Zielhardware
• Analysieren UND Handhaben冯Defekten
• 项目管理顾问
• Erfassen冯Codemetriken

Ziel：Nutzen和Chiedener分别为多空间代码验证程序、导航多空间代码验证程序和解释多空间代码验证程序。

• Überblick尤伯杯死abstrakte解读
• Analysieren DES Aufrufbaums
• Navigieren第三人以书房Quellcode
• Ausführungsped分析
• 瓦里布伦酒店
• 全球变量分析

Ziel：在验证过程中，我们检查了kennenzulernen，以及多空间代码验证程序Ihrem Entwicklungsprojekt passend zu konfigurieren。

• Überblick黚C-Quellcode - 检查
• Lokalisieren DER检查即时Quellcode
• 支票解释人
• Einstellen相关光学元件

Ziel：在检查过程中，检查人员应及时进行检查。

• Bestimmen DES Verifikationsaufwands
• DurchführenEINES schnellen点评
• Untersuchenausgewählterunbewiesener检查
• 埃因斯特伦·德·查证
• Priorisieren unbewiesener检查
• DurchführenEINES评论unbewiesener检查

Ziel：在多空间代码验证程序fehlenden的代码行为中，验证是软件模块的一部分。

• Einfluss冯fehlendem Aufrufkontext AUF模具Verifikation
• Stubben von Funktionen
• 韦特贝雷肯酒店
• Schreiben冯manuellen Funktionsstubs

Ziel：Analysieren UND Beheben冯Problemen，死亡SICH北德Codeintegration mehrererzusammenhängender例如SoftwareModule ergebenden。

• 范德伦
• 麻省理工学院多空间Bug查找器和多空间代码验证器的集成分析
• Importieren冯Reviewinformationen

Ziel：Anwenden verschiedener Verfahren UND Optionseinstellungen嗯书房kompletten代码einer Applikation祖analysieren。

• Aufsetzen einer Applikationsverifikation
• Verbessern DER Ergebnisse einer Applikationsverifikation
• 我是内本鲁菲基特的问题专家
• 罗布斯特和康特斯普勒验证公司
• ERSTELLEN冯Dokumenatation

Ziel：Anwenden DES Gelernten奥夫巢穴eigenen代码UND integrieren冯Polyspace Bug的搜索器einen Entwicklungsprozess UND Polyspace代码证明者。MöglicheThemen SIND：

• Polyspace Bug Finder检查
• Verifikation冯C ++ - 代码
• NebenläufigkeitUND分析gemeinsamer Variablen
• Verifikation automatisch generierten代码
• 回顾DES Entwicklungsprozesses
• 预融合
• 客户机/服务器的安装
• Polyspace für ein项目
• 解读DER Ergebnisse