Formal (Documented) Testing
Formal (Documented) Testing is a kind of software testing that is used to find defects early remove defects prior to production, identify risks. It’s used in all phases of SDLC. Test cases are used to perform this kind of testing.