|
Навигация |
|
|
|
Журнал |
|
|
|
Атомные Блоги |
|
|
|
PRo IT |
|
|
|
Подписка |
|
|
|
Задать вопрос |
|
|
|
Наши партнеры |
|
|
|
PRo-движение |
|
|
|
PRo Погоду |
|
|
|
Сотрудничество |
|
|
|
Время и Судьбы |
|
|
| |
Re: О терминах «верификация» и «валидация» (Всего: 0) от на 23/08/2012
Не берусь предалагать глобальных предложений по терминам, пишу относительно расчетных кодов и применения терминов к ним. Верификация расчетного кода - процесс установления того, что математические модели расчетного кода дают математически верное решение с оцениваемой при верификации точностью, а также, что код не имеет значимых ошибок программирования. Верификация, как правило, проводится на примерах с известным теоретическим решением или на искуственных (физически малореальных) примерах с известным решением. Валидация расчетного кода - процесс установления того, что математические модели расчетного кода, описывающие физические процессы и явления, дают физически правильное решение, включая определение погрешености кода. Валидация проводится, как правило, на примерах, разработанных на основе экспериментальных данных (в которых присутсвуют как отдельные явления описываемых процессов, так и их сочетания), для которых неизвестно теоретическое решение, но известна погрешность определения основных параметров.
В Британике дается близкое по смыслу опредение. Также великий и могучий г-н Роуч рекомендует использовать именно такое определение))) Также не следует забывать, что в кодах есть пре-, постпроцессор и решатель, которые регулярно соревнуются как бы подгадить юзеру)))
|
|
|