Introduction to Automated Analysis Coursera

Overview

In this Introduction to Automated Analysis course offered by Coursera in partnership with University of Minnesota, the learner will become familiar with the fundamental theory and applications of such approaches, and apply a variety of automated analysis techniques on example programs.

This course is part of the Software Testing and Automation Specialization.

After completing this course, a learner will be able to:

• Understand the foundations of automated verification: randomization and symbolic representations

• Distinguish the strengths and weaknesses of random testing, symbolic analysis, static analysis, and model checking

• Use a variety of state-of-the-art static analysis and automated testing tools for automated verification

• Create executable requirements as an oracle suitable for automated testing and symbolic analysis

• Understand how the choice of oracle affects fault-finding for automated analysis strategies.

• Use automated testing to achieve full mutation coverage

• Create a test plan that utilizes both manually-written tests and automated tests towards maximizing rigor, minimizing effort and time, and minimizing test costs.

Build your subject-matter expertise

• When you enroll in this course, you'll also be enrolled in this Specialization.

• Learn new concepts from industry experts

• Gain a foundational understanding of a subject or tool

• Develop job-relevant skills with hands-on projects

• Earn a shareable career certificate