Software verification: Difference between revisions

Content deleted Content added
Added aims of verification and validation, emphasis on their different objectives.
m misspelled successful using AWB
Line 23:
The aim of software verification is to find the errors introduced by an activity, i.e. check if the product of the activity is as correct as it was at the beginning of the activity.
 
The aim of software validation is to declare whether the product of an activity is indeed what expexted, i.e. the activity extended the product succesfullysuccessfully.
 
== Static verification (Analysis) ==