Resumo do curso

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.

Legenda
Inglês
Tempo estimadoTempo total entre hoje e dia da formatura depende do seu compromisso semanal. Em média, os nossos graduados completam este nanodegree em 16 weeks
16 weeks
Nível
intermediate
O curso inclui

Videoaulas

Testes interativos

Aulas com profissionais do setor

Ritmo individual de aprendizado

Comunidade de apoio aos alunos

Sua jornada de aprendizagem

Este curso é seu primeiro passo em direção a uma nova carreira com o programa Fundamentos de Data Science I

Curso Aberto

Software Analysis & Testing

porGeorgia Institute of Technology

Desenvolva habilidades que aumentarão suas chances de contratação adquirindo conhecimentos inovadores de forma independente.

Icon steps
 
 

Pré-requisitos

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

Chris Pryby

Chris Pryby

Instructor

Mayur Naik

Mayur Naik

Instructor

Por que fazer este curso?

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

Quais são os recursos?
Vídeos dos instrutoresExercícios práticosAulas com profissionais do setor