单项课程

Software Analysis & Testing

by
佐治亚理工学院

Offered at Georgia Tech as CS 6340

纳米学位项目

获得纳米学位证书,加速你的职业发展。

关于此课程

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.

学费
免费
学习时间
大约 16 周
难度
中级
你将获得

丰富的教学材料

互动随堂练习

业界专业导师

自主掌握进度

开始你的旅程

学习这门单项课程,迈出通往职业道路的第一步。

单项课程

Software Analysis & Testing

合作企业佐治亚理工学院

通过创新性的自主学习方式,掌握新技能,提升竞争力。

Icon steps
 
 

课程讲师

Chris Pryby

Chris Pryby

讲师

你将学到什么

先修知识及要求

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

查看使用优达学城的技术要求

为什么学习这门课程?

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

我将获得什么?
教学视频随堂练习专业导师