<programming> A computational method for identifying test cases from data, logical relationships, or other software requirements information.
(10 May 1996)