concerned with exercising and observing product behaviour (dynamic verification)
concerned with exercising and observing product behaviour (dynamic verification)
the dynamic verification of the behavior of a program on a finite set of test cases, suitably selected from the usually infinite execution domains, against the expected behavior.