> > Which is less interesting than it might seem, IEEE 729 > > gave three definitions for verification :-) > > > > - determining whether or not the products of a given > phase > > fulfil the requirements established during the previous > > phase > > Testing doesn't do this.
Yes it does.
> > - formal proof of program correctness > > Testing doesn't do this.
True by definition.
> > - establishing whether or not stuff conforms to > specified > > requirements > > Testing doesn't do this.
Yes it does.
> > And one definition for validation: > > > > - evaluating software at the end of development to > ensure > > compliance with software requirements > > Testing doesn't do this.
Previous Topic
