1012-1998 - IEEE Standard for Software Verification and Validation