What is the difference between formal methods and testing-08615
What is the difference between formal methods and testing?
This multiple choice question (MCQ) is related to the book/course
vu cs615 Software Project Management.
It can also be found in
vu cs615 Final Term - Quiz No.8.
What is the difference between formal methods and testing?
Formal methods aim at verification and proving correctness, while testing can only show the presence of errors.
Testing is done only in the third phase of SDLC whereas Formal methods are done in all the phases of SDLC except Testing phase.
There is no big difference between the both
Testing can only be done after the requirements gathering phase of SDLC whereas Formal methods can be applied before that.
