齐尔：当一个welcher Stelle在软件开发中心WicklungProzess多空间Bug查找器和多空间代码验证器richtigerweise eingesetzt werden时。Vertraut machen麻省理工学院（mit）生产和分析einfachen C程序。

• Softwareentwicklungsprozesse mit Polyspace
• Einführendes Beispiel zur代码验证
• 分析冯·德菲克滕和劳夫泽特费伦

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

• 劳夫泽伊图姆格邦的典型艺术
• 验证prozessorspezifischem代码
• Definieren des Ausfuhrungskontext
• Zielhardware的Berücksichtigen
• 德菲克滕分析公司
• Aufspuren冯Programmierrichtlinienverletzungen
• 埃尔法森·冯·科德梅里肯

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

• Überblicküber die abstrakte解释
• Analysieren des Aufrufbaums
• Navigieren durch den Quellcode
• Analysieren der Ausfuhrungspfade
• 这是不可能的
• 全局变量的分析

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

• Überblicküber C-Quellcode-Checks
• Lokaliseen der检查IMQuellCode
• Interpretieren der Checkbeschreibungen
• Einstellen相关Optionen

齐尔：Handhaben von Ergebnissen, mit, zahlreichen, unwiesenen Checks。

• 核查工作进展情况
• 杜尔什福伦评论
• Untersuchen ausgewählter Unbeviesener检查
• Einstellen der Verifikationsgenauigkeit
• Priorisieren unbewiesener检查
• Durchführen eines评论了Unbeviesener检查

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

• fehlendem的文本验证
• Stubben冯Funktionen
• Einschranken冯Wertebereichen
• Schreiben von manuellen Funktionsstubs

齐尔：分析软件模块Ergebend下的代码集成问题。

• Verwalten冯Modulen
• Polyspace Bug查找器和Polyspace代码验证器
• 重要评论信息

齐尔：在分析应用过程中，应安装适用于Kompleten代码的设备和选项。

• Aufsetzen-einer应用程序验证
• 应用程序验证的详细说明
• Aufspüren von Problemen mit Nebenläufigkeit
• Vergleichen von robuster和kontextueller验证
• 埃斯泰伦·冯·多库曼纳

齐尔：在Entwicklungsprozess.Mögliche Themen sind中，本征代码和多空间错误查找器和多空间代码验证器的设计：

• Polyspace Bug Finder-Checks
• 验证von C++代码
• Nebenläufigkeit和分析gemeinsamer Variablen
• 自动验证生成码
• 回顾恩特威克伦项目
• Prozessintegration
• 客户端/服务器安装
• Polyspace für ein Projekt konfigurieren
• 麦尔格布尼塞解释