Program code that can test itself to verify that it behaves correctly, usually by feeding itself a set of standard input values and testing the results against a set of expected output values.