В результате появления на рынке персональных компьютеров 64-битных процессоров перед разработчиками программ возникает задача переноса старых 32-битных приложений на новую платформу. После переноса кода приложение может ввести себя некорректно. Рассмотрены вопросы, связанные с верификацией и тестированием программного обеспечения.
