Исходное сообщение
"Для Linux предложен механизм верификации корректности работы..." Отправлено fuggy, 08-Авг-22 18:49
Если вызов паники заложен в модель, то это корректное поведение. Но если ошибся в модели, то производный код будет с той же ошибкой, то есть бессмысленный. Модель мы строим по готовому коду или сначала создаём модель, а потом её конвертируем в код? Мы проверяем что выполнение кода соответствует модели или код по модели написан правильно? Просто кажется что написать хороший код будет проще, чем написать хорошую модель. Так объясни, то есть мы берём код и проверяем что результат кода, будет идентичным результату, которая выдала модель. То есть проще говоря это тупо двойное резервирование. Мы тоже самое можем сделать, посчитать тот же самый код на втором процессоре и сравнить ответ. Тогда зачем такая заумная логика с моделями.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Если вызов паники заложен в модель, то это корректное поведение. Но если > ошибся в модели, то производный код будет с той же ошибкой, > то есть бессмысленный. > Модель мы строим по готовому коду или сначала создаём модель, а потом > её конвертируем в код? Мы проверяем что выполнение кода соответствует модели > или код по модели написан правильно? Просто кажется что написать хороший > код будет проще, чем написать хорошую модель. > Так объясни, то есть мы берём код и проверяем что результат кода, > будет идентичным результату, которая выдала модель. То есть проще говоря это > тупо двойное резервирование. Мы тоже самое можем сделать, посчитать тот же > самый код на втором процессоре и сравнить ответ. Тогда зачем такая > заумная логика с моделями.
	Введите код, изображенный на картинке: