programming A computational method for identifying test

cases from data, logical relationships or other software

requirements information.