Software verification provides objective evidence that the design outputs of a particular phase of the software development life cycle meet all of the specified requirements for that phase.

Software verification looks for
* [[Consistency]]
* [[Completeness]] and
* [[Correctness]]
of the software and its supporting documentation, as it is being developed, and provides support for a subsequent conclusion that software is validated. [[Software Testing]] is one of many verification activities intended to confirm that software development output meets its input requirements. Other verification activities include: various
* [[Static analysis]]
* [[Dynamic analysis]]
* Code and document inspections
* Code walkthroughs
and other techniques
bag
fda_public
created
Thu, 06 Sep 2012 20:18:24 GMT
creator
dirkjan
modified
Thu, 06 Sep 2012 20:18:24 GMT
modifier
dirkjan
tags
Term
creator
dirkjan