Тестирование программ: как проверить работоспособность?