Validating year 2000 compliance involves the assessment of the correctness and quality of a year 2000 conversion. This entails inspecting both the quality of the conversion emph{process followed, and of the emph{result obtained, i.e., the converted system. This document provides an overview of the techniques that can be used to validate year 2000 compliance. It includes typical code fragments, and a discussion of existing technology, impact analysis, solution strategies, code correction, testing, and tools.

Design Tools and Techniques (acm D.2.2), Coding Tools and Techniques (acm D.2.3), Distribution, Maintenance, and Enhancement (acm D.2.7), Processors (acm D.3.4), Specifying and Verifying and Reasoning about Programs (acm F.3.1)
Software (theme 1)
Software Engineering [SEN]
Software Analysis and Transformation

van Deursen, A, Klint, P, & Sellink, M.P.A. (1997). Validating year 2000 compliance. Software Engineering [SEN]. CWI.