Described herein are one or more implementations for facilitation of
computer software testing. One or more implementations, described herein,
determine logical type of one or more test input-parameters based upon
metadata placed on a function under test (FUT) of software. Using that
determined logical type, an implementation generates data values. In some
instances, those generated values are values selected from a repository
of data values with associated logical types. The selection is based upon
the determined logical type. After generating data values for testing the
FUT, an implementation supplies the generated data values as input to the
FUT.