Verifies that some piece of computer code does what it's supposed to do.