Software Verification

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