Ziel：Verseehen一个welcher stelle im softwareentwicklungs prozozess polyspace bug finder und Polyspace代码箴言Richtigerweise Eingesetzt Werden。Vertraut Machen Mit Den Produkten Anhand der Analyze欧莱因eInfachen C-programms。

• SoftwareTwickLungsProzesse Mit Polyspace.
• Einführendesbeispiel zur Codeverifipation
• 分析von defekten und laufzeitfehlern

Ziel：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.
• Berücksichtigender Zielhardware
• analysieren und handhaben von defekten
• Aufspürenvon计划米尔里希林尼安弗莱恩
• erfassen voncodemetriken

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

• überblickÜber死于Abstrakte解释
• analysieren des aufrufbaums.
• Navigieren Durch den Quellcode
• analysieren derausführungspfade.
• Untersuchen der Wertebereiche von Variablen
• Analysieren der Zugriffe Auf Globale Variablen

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

• ÜberclickÜberC-Quellcode-checks
• Lokalisieren der检查IM quellcode
• Interpretieren der Checkbeschreibungen.
• Einstellen相关的选择

Ziel：Handhaben von Ergebnissen Mit Zahlreichen Unbewiesenen Checks。

• Bestimmen des Verifikationsaufwands
• Durchführeneinesschnellen评论
• UntersuchenAusgewählter脱奶酪检查
• Einstellen der Verifikationsgenauigkeit.
• 优先考虑未充分的依esEner检查
• Durchführen欧因斯评论了摆效欧洲人支票

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

• EINFLUSS VON FEHLENDEM AUFRUFKONTEXT AUF DIE VERIFICING
• Stubben von funktionen
• einschränkenvon wertebereichen.
• Schreiben Von Manuellen FunktionsStubs

Ziel：analysieren und Beheben von artensend，Die Sich Bei der CodeIntegration MehrererZusammenhängenderSodwareModuleErgebenden。

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

Ziel：Anwenden verschiedener verfahren und optionseinstellungen um den Kompletten代码Einer applikation zu analysieren。

• aufsetzen einer applikationsverifipations
• Verbesstern der Ergebnisse Einer applikationsverifipation
• Aufspürenvon artensmitnebenläufigkeit
• Vergleichen von Robuster und Kontextueller验证
• 埃斯特伦冯沃森纳利

Ziel：Anwenden des Gelernten AUF Den Eigenen Code und Integieren von Polyspace Bug Finder und Polyspace代码箴言在Einen Entwicklungsprozess。Mögliche主题Sind：

• Polyspace Bug Finder-checks
• Verifikation von C ++ - 代码
• Nebenläufigkeitund分析Gemeinsamer variablen
• Verifikation Automatisch Generierten代码
• 点评Des Entwicklungsprozesses.
• 额定共同化
• 客户端/服务器安装
• PolyspaceFüreinprojekt konfigurieren
• 解释Der Ergebnisse.