This specialization is for beginning to intermediate software developers who would like to master the theory, techniques, and tools of several types of software testing. You will build test plans, test suites, and test analysis reports; develop properties and assertions in code to facilitate automated test generation; and create preconditions for methods to facilitate formal proofs of correctness. Experience with an object-oriented programming language (preferably Java) and the ability to install and run an IDE (preferably Eclipse) are recommended.
The specialization takes approximately four months to complete at the suggested pace of six hours per week. All U of M Coursera courses, including those that are part of this specialization, may be taken individually. Coursera for Minnesota gives U of M students, faculty, and staff free access to courses and specializations.