Ziel：您现在的位置是:虫虫下载站>资源下载>软件下载> Verstehen an welcher Stelle im Softwareentwicklungsprozess Polyspace Bug Finder and Polyspace Code Prover richtigerweise eingesetzt werden我们的机器是用来分析c程序的。

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

Ziel：分析代码，应符合ANSI-C标准。Berücksichtigen der Laufzeitumgebung和des Ausführungskontexts und korrigieren von defkten和Verletzungen von Code-Regeln mit Polyspace Bug Finder。

• Typische Artefakte einer Laufzeitumgebung
• 验证prozessorspezifischem代码
• Definieren des Ausfuhrungskontext
• Berücksichtigender Zielhardware
• analysieren und handhaben von defekten
• Aufspuren冯Programmierrichtlinienverletzungen
• erfassen voncodemetriken

Ziel：我们可以使用多元空间代码验证器，我们可以使用多元空间代码验证器，我们可以使用解释器。

• überblickÜber死于Abstrakte解释
• Analysieren des Aufrufbaums
• Navigieren Durch den Quellcode
• Analysieren der Ausfuhrungspfade
• 这是不可能的
• 全局变量的分析

Ziel：在验证过程中，你可以通过检验代码，和Polyspace代码验证程序来进行验证。

• ÜberclickÜberC-Quellcode-checks
• Lokalisieren der检查IM quellcode
• Interpretieren der Checkbeschreibungen
• Einstellen相关Optionen

Ziel：Handhaben von Ergebnissen, mit, zahlreichen, unwiesenen Checks。

• Bestimmen des Verifikationsaufwands.
• Durchführeneinesschnellen评论
• UntersuchenAusgewählter脱奶酪检查
• Einstellen der Verifikationsgenauigkeit
• Priorisieren unbewiesener检查
• Durchführen欧因斯评论了摆效欧洲人支票

Ziel：您可以使用我们的软件模块präzisieren来验证我们的代码。

• EINFLUSS VON FEHLENDEM AUFRUFKONTEXT AUF DIE VERIFICING
• Stubben冯Funktionen
• Einschranken冯Wertebereichen
• Schreiben Von Manuellen FunktionsStubs

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

• Verwalten冯Modulen
• Polyspace Bug查找器和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üren von Problemen mit Nebenläufigkeit
• Vergleichen von robuster和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.
• Prozessintegration
• 客户端/服务器安装
• Polyspace für ein Projekt konfigurieren
• 解释Der Ergebnisse.