UMN - Software Testing and Automation Specialization 

You will gain an understanding of the theory of testing

You will practice writing tests for a variety of quality intent, including code coverage, defect finding, and statistical testing

You will develop test plans to guide the testing stage of the software development lifecycle

You will create defect reports to provide transparency and understanding to supervisors, colleagues, and users

You will evaluate the testability of requirements

You will define testable units within a program specification

You will select and apply black-box test input selection methods, including boundary-value analysis, fuzzing, and random selection

You will develop automated tests and test oracles for automated software verification

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