Software Analysis & Testing

Online Course

Software Analysis & Testing

What is the course about?

Software Analysis & Testing
The course Software Analysis & Testing is an online class provided by Udacity. The skill level of the course is Intermediate. It may be possible to receive a verified certification or use the course to prepare for a degree.

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 description
  • Software Analysis & Testing
  • 16 weeks
  • Offered at Georgia Tech as CS 6340
  • Testing
  • Analysis
  • Debugging
  • Principles of random testing.
  • Automatically generating tests.
  • Analyzing dataflows within a program.
  • Analyzing pointers.
  • Analyzing software based on constraints.
  • Basics of type systems.
  • Statistical principles of debugging.
  • Dynamic symbolic execution.
  • 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.
  • Take this course if you need to learn how to test complex, large-scale programs using state of the art testing paradigms.

Prerequisites & Facts

Software Analysis & Testing

Course Topic

Data Analyst

University, College, Institution


Course Skill Level


Course Language


Place of class

Online, self-paced (see curriculum for more information)



Degree & Cost

Software Analysis & Testing

To obtain a verified certificate from Udacity you have to finish this course or the latest version of it, if there is a new edition. The class may be free of charge, but there could be some cost to receive a verified certificate or to access the learning materials. The specifics of the course may have been changed, please consult the provider to get the latest quotes and news.
Software Analysis & Testing
provided by Udacity


Share your experience

Software Analysis & Testing
Udacity Udacity
Rate the course

Do you recommend the course? *
Here you can find information, reviews and user experiences for the course “Software Analysis & Testing“. The provider of the course – “Udacity” – will be glad to answer any questions you may have about the class, click here to use the offical support channels. It would be great if you could share your experience of participating in the course – Your honest review will surely help others to choose the right class!
School: Udacity
Topic: Data Analyst