On The Testing of Code