About this Course

9,912 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level

IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).

Approx. 19 hours to complete
English

Skills you will gain

Software TestingFormal VerificationTest Automation
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level

IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).

Approx. 19 hours to complete
English

Offered by

Placeholder

University of Minnesota

Syllabus - What you will learn from this course

Week
1

Week 1

6 hours to complete

Introduction to Automated Analysis

6 hours to complete
8 videos (Total 68 min), 1 reading, 6 quizzes
8 videos
Automated Analysis Techniques9m
Symbolic Representations12m
Property Specification8m
Environmental Specification and Assumptions6m
Parameterized Unit Testing using junit-quickcheck12m
Environmental Specifications in junit-quickcheck2m
(Optional) Installation of Eclipse and Gradle2m
1 reading
Overview and Syllabus10m
5 practice exercises
Introduction to Automated Analysis30m
Automated Analysis Techniques30m
Symbolic Representations30m
Property Specification30m
Environmental Specifications and Assumptions
Week
2

Week 2

6 hours to complete

Automated Test Generation

6 hours to complete
8 videos (Total 84 min)
8 videos
Automated Test Generation using Random Testing14m
Automated Test Generation using Symbolic Execution15m
Automated Test Generation using Metaheuristic Search16m
Property-Based Testing for Real-Time Systems6m
Biasing Input Values in junit-quickcheck6m
Using Generators to Create Complex Inputs in junit-quickcheck9m
Explanation of Test Harness and Assignment for Microwave Example8m
4 practice exercises
Overview of Automated Test Generation7m
Automated Test Generation using Random Testing30m
Automated Test Generation Using Metaheuristic Search12m
Property-Based Testing for Real-Time Systems30m
Week
3

Week 3

5 hours to complete

Static Analysis

5 hours to complete
5 videos (Total 64 min), 1 reading, 3 quizzes
5 videos
Dataflow Analysis16m
Program Wellformedness Properties12m
Designing programs for analyzability9m
Static Analysis with Infer11m
1 reading
Analysis Exercise with Infer2h
3 practice exercises
What is static analysis?30m
Designing programs for analyzability30m
Summative Review30m
Week
4

Week 4

3 hours to complete

Effective Automated Verification

3 hours to complete
6 videos (Total 61 min), 2 readings, 4 quizzes
6 videos
Automating Security Testing Using Fuzz Testing14m
Runtime Monitoring7m
Where Automation Fails9m
Using Multiple Methods Effectively9m
The Evolution of Software Testing10m
2 readings
Fuzz Testing with AFL10m
Runtime Monitoring Tools10m
4 practice exercises
Automating Regression Testing30m
Automating Security Testing Using Fuzz Testing30m
Runtime Monitoring30m
Summative Review of Week 4 material

About the Software Testing and Automation Specialization

Software Testing and Automation

Frequently Asked Questions

More questions? Visit the Learner Help Center.