Über diesen Kurs

This course covers the theory and practice of software analysis, which lies at the heart of many software development processes such as diagnosing bugs, testing, debugging, and more. It presents diverse techniques, each with their own strengths and limitations, for automating tasks such as testing, debugging, and finding bugs in complex real-world programs. These techniques include dataflow analysis, constraint-based analysis, type systems, model checking, symbolic execution, and more. The course teaches the principles underlying these techniques as well as imparts hands-on experience with using and implementing tools based on these techniques.

Kursgebühren
Kostenlos
Zeitachse
Ca.16weeks
Niveau
Fortgeschrittene
Vorteile

Rich Learning Content

Interactive Quizzes

Taught by Industry Pros

Self-Paced Learning

Student Support Community

Begib' dich auf den Weg des Erfolgs

Dieser kostenlose Kurs ist der erste Schritt auf dem Weg zu einer neuen Karriere mit dem Data Analyst Programm.

Kostenlose Kurse

Software Analysis & Testing

mit Georgia Institute of Technology

Erweitere deine Fähigkeiten und Karriere durch innovatives und unabhängiges Lernen.

Icon steps 54aa753742d05d598baf005f2bb1b5bb6339a7d544b84089a1eee6acd5a8543d
 
 

Tutoren

Chris Pryby
Chris Pryby

Instructor

Was du lernst

Voraussetzungen

To be prepared for this course, you should be very comfortable with:

  • Mathematical and logical reasoning (e.g. basics of set theory, graph theory, boolean algebra, and probability)

  • Programming in a high-level language like Java

  • Shell scripting on Linux-like operating systems

Detaillierte technische Voraussetzungen

Was spricht für diesen Kurs?

Take this course if you need to learn how to test complex, large-scale programs using state of the art testing paradigms.

Was bekomme ich?
Instructor videos Learn by doing exercises Taught by industry professionals