Proving Test Requirements