Software Testing As Well As Automation Specialization
What you'll learn
Distinguish between verification too validation describing the key differences betwixt them.
Write automated functional tests for both front end-terminate too dorsum-cease code
Measure the error-finding effectiveness of a functional exam suite using mutation testing.
Defend program correctness through the purpose of formal methods, specifically proof obligations and model checking.
Specialization - 4 form series
This Specialization is intented for showtime to intermediate software developers seeking to develop knowledge too skill inwards implementing testing techniques together with tools inward the development of their projects. Through four courses, yous volition embrace black-box too white-box testing, automated testing, spider web & mobile testing, too formal testing theory in addition to techniques, which volition cook to y'all to design as well as perform effective testing of your software.
Applied Learning Project
Learners volition construct examination plans, examination suites, in addition to test analysis reports. Learners will prepare properties as well as assertions inward code to facilitate automated exam generation. Learners volition besides create pre-weather condition for methods to facilitate formal proofs of correctness.
