Revision as of 03:33, 19 July 2005 edit Sozin (talk \| contribs) 22 edits →Dynamic verification (Test, Experimentation) ← Previous edit		Revision as of 03:34, 19 July 2005 edit undo Sozin (talk \| contribs) 22 edits →Dynamic verification (Test, Experimentation) Next edit →
Line 19: Software verification is often confused with software validation. The difference between '''verification'' and '''validation'': * Software ''verification'' asks the question, "Are we building the product right?"; that is, does the software conform to its specification. * Software ''validation'' asks the question, "Are we building the right product?"; that is, is the software doing what the user really requires. == Static verification (Analysis) ==

Software verification: Difference between revisions