YoVDO

Software Analysis & Testing

Offered By: Georgia Institute of Technology via Udacity

Tags

Software Development Courses Software Testing Courses Type System Courses Symbolic Execution Courses

Course Description

Overview

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.


Syllabus

  • Testing
    • Principles of random testing.,Automatically generating tests.
  • Analysis
    • Analyzing dataflows within a program.,Analyzing pointers.,Analyzing software based on constraints.
  • Debugging
    • Basics of type systems.,Statistical principles of debugging.,Dynamic symbolic execution.

Taught by

Chris Pryby and Mayur Naik

Tags

Related Courses

Formal Software Verification
University System of Maryland via edX
Computer Systems Security
Massachusetts Institute of Technology via MIT OpenCourseWare
Reverse Engineering 3201: Symbolic Analysis
OpenSecurityTraining2 via Independent
angr: Binary Analysis Framework - Demonstration and Analysis
New York University (NYU) via YouTube
Breaking Samsung's ARM TrustZone
Black Hat via YouTube