About this Course

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.

Course Cost
Free
Timeline
Approx. 16 weeks
Skill Level
Intermediate
Included in Course
  • Icon course 01 3edf6b45629a2e8f1b490e1fb1516899e98b3b30db721466e83b1a1c16e237b1 Rich Learning Content

  • Icon course 04 2edd94a12ef9e5f0ebe04f6c9f6ae2c89e5efba5fd0b703c60f65837f8b54430 Interactive Quizzes

  • Icon course 02 2d90171a3a467a7d4613c7c615f15093d7402c66f2cf9a5ab4bcf11a4958aa33 Taught by Industry Pros

  • Icon course 05 237542f88ede3178ac4845d4bebf431ddd36d9c3c35aedfbd92e148c1c7361c6 Self-Paced Learning

  • Icon course 03 142f0532acf4fa030d680f5cb3babed8007e9ac853d0a3bf731fa30a7869db3a Student Support Community

Join the Path to Greatness

This free course is your first step towards a new career with the Data Analyst Nanodegree Program.

Free Course

Software Analysis & Testing

by Georgia Institute of Technology

Enhance your skill set and boost your hirability through innovative, independent learning.

Icon steps 54aa753742d05d598baf005f2bb1b5bb6339a7d544b84089a1eee6acd5a8543d

Course Leads

  • Chris Pryby
    Chris Pryby

    Instructor

What You Will Learn

Lesson 1

Testing

  • Principles of random testing.
  • Automatically generating tests.
Lesson 1

Testing

  • Principles of random testing.
  • Automatically generating tests.
Lesson 2

Analysis

  • Analyzing dataflows within a program.
  • Analyzing pointers.
  • Analyzing software based on constraints.
Lesson 2

Analysis

  • Analyzing dataflows within a program.
  • Analyzing pointers.
  • Analyzing software based on constraints.
Lesson 3

Debugging

  • Basics of type systems.
  • Statistical principles of debugging.
  • Dynamic symbolic execution.
Lesson 3

Debugging

  • Basics of type systems.
  • Statistical principles of debugging.
  • Dynamic symbolic execution.

Prerequisites and Requirements

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

See the Technology Requirements for using Udacity.

Why Take This Course

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

What do I get?
  • Instructor videos
  • Learn by doing exercises
  • Taught by industry professionals

Thanks for your interest!

We'll be in touch soon.

Icon globe e82eae5d45465aba4fbe4bb746905ce55dc3324f310b79c60e4a20089057d347

Udacity 现已提供中文版本! A Udacity tem uma página em português para você! There's a local version of Udacity for you! Sprechen Sie Deutsch?

Besuchen Sie de.udacity.com und entdecken Sie lokale Angebote, unsere Partnerunternehmen und Udacitys deutschsprachigen Blog.

前往优达学城中文网站 Ir para a página brasileira Go to Indian Site Icon flag de deedb1a7a695700236cb6ef4204ddbede5d197dab9b47716c87a0b4d5d9fc325 Zu de.udacity.com continue in English