Grundlagen der automatisierten Softwareanalyse und -verifizierung

In der modernen Entwicklungslandschaft reicht manuelles Testen nicht mehr aus, um sicherzustellen, dass komplexe Software sicher und fehlerfrei bleibt: Sie benötigen systematische, automatisierte Methoden, um zu überprüfen, ob sich Ihr Code unter allen Bedingungen genau wie beabsichtigt verhält. Dieser Kurs bietet eine solide Grundlage für die automatisierte Analyse, von grundlegenden Testkonzepten bis hin zu erweiterten Verifizierungsmethoden, die beweisen, dass Ihre Software ihre Anforderungen erfüllt. Was Sie lernen werden: - Verstehen Sie die Kernkonzepte der automatisierten Testgenerierung und der formalen Verifikation. - Identifizieren und verhindern Sie häufige Softwarefehler wie Überläufe, Deadlocks und Race-Bedingungen. - Wenden Sie statische Analyseverfahren an, um Schwachstellen und logische Fehler vor der Codeausführung zu erkennen. - Erkunden Sie eigenschaftsbasierte Tests, um das Softwareverhalten über eine Vielzahl von Eingaben zu validieren. - Lernen Sie die Grundlagen der formalen Beweise, um mathematische Garantien für die Korrektheit des Programms zu bieten. - Integrieren Sie automatisierte Analysetools in moderne Entwicklungsworkflows, um eine hohe Codequalität zu gewährleisten. Der Lehrplan beginnt mit der wesentlichen Terminologie und den logischen Rahmenbedingungen, die in der Softwareanalyse verwendet werden, und führt Sie dann durch die Theorie und Anwendung der automatisierten Testausführung, der statischen Analyse und der formalen Verifikationsstrategien. Dieser Kurs richtet sich an Entwickler und Studenten, die über das manuelle Debuggen hinausgehen möchten. Es sind keine Vorkenntnisse mit formalen Methoden erforderlich. Beginnen Sie mit der Erstellung zuverlässigerer und sichererer Software durch die Leistungsfähigkeit automatisierter Analysen.