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

• 麻省理工学院Softwareentwicklungsprozesse Polyspace
• Einführendes Beispiel zur Codeverifikation
• 分析冯·德夫克顿和劳夫蔡菲勒

目标:分析代码，应符合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
• Berucksichtigen der Zielhardware
• 分析和Handhaben von Defekten
• Aufspuren冯Programmierrichtlinienverletzungen
• Erfassen冯Codemetriken

目标:我们可以使用多元空间代码验证器，我们可以使用多元空间代码验证器，我们可以使用解释器。

• Überblick über模具抽象的解释
• Analysieren des Aufrufbaums
• 航海家的密码
• Analysieren der Ausfuhrungspfade
• 这是不可能的
• 全局变量的分析

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

• Uberblick uber C-Quellcode-Checks
• Lokalisieren der检查我的奎尔代码
• Interpretieren der Checkbeschreibungen
• Einstellen相关Optionen

目标:Handhaben von Ergebnissen, mit, zahlreichen, unwiesenen Checks。

• Bestimmen des Verifikationsaufwands
• Durchführen eines schnellen评论
• Untersuchen ausgewählter unbewiesener检查
• Einstellen der Verifikationsgenauigkeit
• Priorisieren unbewiesener检查
• Durchführen eines评论unbewiesener检查

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

• 我们需要进行验证
• Stubben冯Funktionen
• Einschranken冯Wertebereichen
• Schreiben von manuellen funktionsstubbs

目标:分析和解决问题的方法，在代码集成目录zusammenhängender软件模块ergebenden中。

• Verwalten冯Modulen
• Polyspace Bug查找器和Polyspace代码验证器
• Importieren冯Reviewinformationen

目标:Anwenden verschiedener Verfahren和Optionseinstellungen um den已完成代码应用程序分析。

• Aufsetzen静脉Applikationsverifikation
• 我们需要应用验证
• Aufspüren von Problemen mit Nebenläufigkeit
• Vergleichen von robuster和kontextueller验证
• Erstellen冯Dokumenatation

目标:在entwicklungsprogress的本征码和积分码的Polyspace Bug查找和Polyspace码验证。Mogliche有信德:

• Polyspace Bug Finder-Checks
• Verifikation冯c++代码
• Nebenläufigkeit分析gemeinsamer变量
• 验证自动化generierten代码
• 回顾des Entwicklungsprozesses
• Prozessintegration
• 客户机/服务器安装
• Polyspace für ein Projekt konfigurieren
• 解释der Ergebnisse