Software verification

Software verification is a broad and complex discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.

http://en.wikipedia.org/wiki/Software_verification