Верификация и валидация — что это такое простыми словами. Верификация и валидация имитационных моделей систем

Цель работы – изучить методы проверки соответствия разработанной имитационной модели реальной системе.

В ходе выполнения лабораторной работы студент должен научится проводить верификацию имитационной модели путем построения логической блок-схемы и интерактивного контроля за ходом моделирования при помощи встроенной в специализированный язык GPSS/H программы отладки; проверять правильность построения концептуальной модели в компьютере; проводить валидацию имитационной модели путем сопоставления результатов экспериментов с результатами аналитических расчетов.

Примечание

Предполагается, что студент, знаком с теорией систем массового обслуживания и основами моделирования систем на специализированном языке GPSS/H.

2. Теоретические положения

2.1. Верификация и валидация имитационных моделей

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

Верификация — это проверка правильности построения концептуальной модели в компьютере. Она используется при сравнении концептуальной модели с ее компьютерным представлением и отвечает на вопросы: правильно ли модель выполняется на компьютере? Правильно ли представлены входные параметры и логическая структура модели?

Для верификации используют методы:

1. Проверка корректности результатов на «крайние» значения. При этом:

— задают нулевые значения входных параметров модели и анализируют результаты. Если результаты не нулевые, то проверяют и уточняют модель;

— задают значения входных параметров модели, которых не может быть в реальной системе, и по результатам моделирования оценивают правильность реакции модели;

— проводят длительное моделирование и оценивают результаты. При этом выявляют ошибки и подозрения: загрузка обслуживающих приборов нулевая; число вхождений заявок в прибор не нулевое, а загрузка прибора равна нулю; число входов в очередь равно ее текущему содержимому.

2. Аналитический подсчет характеристик и сравнение их с модельными результатами. За длительный прогон вручную подсчитывают использование прибора и сравнивают расчетное значение с результатами моделирования. Но есть характеристики, которые невозможно посчитать аналитически, например, среднее время обслуживания заявки. Тем не менее, параметры в модели взаимосвязаны и проверка одной характеристики повышает доверие (или не доверие) к другим параметрам и модели в целом, даже если точные связи между характеристиками неизвестны и изменяются от прогона к прогону.

3. Построение логической блок-схемы и интерактивный контроль за ходом моделирования при помощи программ отладки. Составляют простую логическую блок-схему для какого-либо узла модели. Например, для одноканальной СМО можно составить блок схему, изображенную.

Затем, используя встроенные в пакеты имитационного моделирования программы отладки проверяют, соответствует ли логика работы модели построенной блок-схеме. При этом используют:

— прогон до определенного времени или события и вывод информации за данный период времени;

— приостановку моделирования по значению текущей величины переменной выделенного компонента модели (очереди, прибора, счетчика, атрибута).

4. Использование имитационного следа. Имитационный след это детальная распечатка изменений модели в течение времени. Его разрабатывают специально для использования в имитационных программах. Он позволяет просматривать величину выбранных переменных в каждый момент приращения времени (от события к событию). При анализе такого имитационного следа можно выявить ошибки и несоответствия модели реальной системе.

5. Документирование модели и проверка лицом не участвующим в разработке модели. Этим методом часто пренебрегают. Но если разработчик модели пишет краткие комментарии в компьютерной модели, проводит определение всех переменных и параметров и делает пометки главных модулей модели, это значительно облегчает кому-либо и самому разработчику модели проверить ее логику.

6. Проверка по анимации. В последнее время программное обеспечение для имитационного моделирования соединяют с программами компьютерной анимации. Анимация позволяет проследить работу модели, выводя на монитор динамику работы ее элементов в виде графических аналогов реальной системы. При помощи анимации выделяют характерные виды ошибок: несвоевременное движение, исчезновение или наложение объектов, отображающих пакеты данных, машины, людей и т.д.

Валидация — проверка является ли модель, допустимым представлением реальной системы. Цель валидации – двойная, во-первых, создать модель, которая представляет поведение реальной системы как можно более полно. Во вторых, увеличить приемлемый уровень достоверности модели, чтобы модель можно было использовать для анализа системы и принятия решений.

Вообще нет общепринятых количественных оценок валидации моделей. Большинство авторов считают, что если отклонение результатов моделирования от показателей реальной системы или определенных другим методом не превышает 7-10%, то модель считается валидной.

Хотя верификация и валидация концептуально различны, обычно они проводятся одновременно. Некоторые методы даже идентичны (например, проверка модели по анимации, создание имитационного следа).

Термины «верификация» и «валидация» очень часто используются в технической литературе и связаны с анализом качества любого программного обеспечения. В научной литературе можно встретить различные трактовки данных понятий. Итак, попробуем разобраться в этом вопросе.

Наиболее правильным, с нашей точки зрения, является следующее определение. Валидация и верификация - это виды деятельности, которые направлены на проведение контроля качества с целью обнаружения на ранних стадиях ошибок в нем. Казалось бы, они имеют общую цель. Но все-таки эти виды обладают различиями в источниках проверяемых свойств, ограничений и правил, несоблюдение которых может считаться ошибкой.

Верификация - это проверка соответствия программного обеспечения представленной техзаданием, архитектурой или В «обязанности» данного термина включается и сопоставление процедуры расчетов с процессом их разработки, правилами и стандартами.

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

В случае обнаружения ошибки или дефекта в работе программы либо же обнаружения противоречия между указанными выше документами и действующим функционированием программы принятие решения о выборе документа для исправления должно быть решением отдельной задачи.

В отличие от верификации валидация отвечает за проверку соответствия разрабатываемых или сопровождаемых программных продуктов потребностям либо нуждам заказчиков или пользователей. Указанные нужды зачастую не фиксируются ни в какой документации. Именно поэтому валидация менее формализована, чем верификация. Это процесс, в котором участвует представитель заказчика, пользователя, а также может присутствовать аналитик или эксперт в Другими словами, те, которые могут выразить конкретные потребности и реальные нужды заинтересованных лиц.

Верификация - это ответ на вопрос «Выполнено ли программное обеспечение правильно?», а валидация - «Сделано ли правильное программное обеспечение?».

При поиске ответа на поставленные вопросы можно обнаружить, что валидация (или аттестация) по содержанию имеет значение несколько шире, чем проверка (верификация). Однако верификация достаточно тесно связана с обеспечением контроля за качеством программного продукта.

Например, верификация компьютерной программы предусматривает процесс, в котором за основу ставится цель по обеспечению удовлетворения требований данных, полученных в определенном жизненном цикле продукта, тем, которые были получены на предыдущей стадии.

Если же вести речь о верификации модели, то здесь речь пойдет о проверке правильности отображения данной вычислительной модели необходимой концептуальной либо

При верификации системного кода проводится анализ кодировки источника и проверка соответствия его документальному описанию.

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

в культурологии (позднелат. verificatio - доказательство, подтверждение верности или истинности чего-либо; от лат. verus - истинный и facio - делаю) - установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о культуре. Подобное понятие в области логики и методологии науки означает процесс непосредств. или косвенной проверки научных утверждений в рез-те эмпирич. наблюдений или проведения эксперимента, а также установления логич. отношений между непосредственно и косвенно верифицируемыми утверждениями. Понятие В. было сформулировано и обосновано логич. позитивизмом (Венский кружок), развивавшим концепцию "научной философии" и идеи Витгенштейна, сформулированные им в "Логико-филос. трактате" (1921). Принято различать В. как актуальный процесс эмпирич. проверки истинности суждении и верифицируемость как потенциальную их проверяемость (возможность проверить) при опр. условиях или по опр. формальным схемам. Согласно принципу верифицируемости, выдвинутому логич. позитивизмом, всякое научно осмысленное утверждение о мире сводимо к совокупности протокольных предположений, фиксирующих данные чистого опыта. В конечном счете любое знание о мире рассматривалось как сводимое путем цепочки формальных преобразований к сумме элементарных предложений, обладающих логич. (логико-математич.) непротиворечивостью и аксиоматич. истинностью (т.н. логич. атомизм), а структура мира, т.о., определялась проекцией структуры знания, заданной исходной логико-эпистемологич. моделью. Согласно позднему Витгенштейну, идеальный, с т.зр. В., логически совершенный язык науки является рез-том условной конвенции, В. к-рой также весьма условна и произвольна - как нек-рые формальные правила ведения "языковой игры". Отсюда - допущение множественности как научных, так и обыденных языков, не поддающихся унификации или генерализации; отсюда же функциональное понимание значения как "употребления" и т.п.

В гуманитарных науках и особенно в культурологии проблема В. еще более усложняется. Поскольку в культуру как предмет культурологич. рефлексии входят такие разные, притом специализир., формы, как наука и искусство, философия и религия; а также социализированные формы культуры - полит., правовая, хозяйственно-экон.; поскольку помимо специализир. форм культуры существует еще и обыденная культура (в частности, образ жизни и культура повседневности), - В. феноменов культуры по каким-то одним основаниям оказывается невозможной. Так, напр., наука (скажем, естествознание) и религия могут занимать по принципиальным мировоззренч. вопросам взаимоисключающие позиции; это же в той или иной степени относится и к взаимоотношениям искусства и философии, философии и религии, науки и философии, науки и искусства, специализир. форм культуры и культуры обыденной, социализир. и специализир. форм культуры между собой. Во всех этих случаях речь может и должна идти о множественности самих В. - применительно к разл. феноменальным формам культуры, о своего рода "параллельных рядах" культурных явлений, верифицируемых по принципиально несводимым основаниям и очень условно "переводимым", "перекодируемым" с одного культурного языка на другой.

Здесь возможны самые парадоксальные альянсы и контаминации: религ. обоснование или опровержение науки и научное объяснение или отвержение религии; философия искусства, философичность искусства и искусство философствования; философия здравого смысла, обыденное знание и эстетика повседневности и т.д., причем многие из этих пограничных явлений культуры сосуществуют друг с другом во времени и в пространстве, тем самым фактически оправдывая и подтверждая плюрализм В. в культурологии. Так, экстраполируя требования и критерии интеллектуальной культуры, понятийно оформленной и сложно структурированной, в сферу культуры повседневности, аморфной и непосредственно переживаемой, мы вольно или невольно интеллектуализируем обыденную культуру, придавая специфически обыденному ее содержанию форму специализир. (научного или филос., социально-полит, или эстетич.) знания. И напротив, навязывая философии или: науке, искусству или полит, идеологии логику и смысловое наполнение обыденного сознания, с его здесь-и-теперь-находимостью, с его прагматизмом и наглядной конкретностью, простотой, общедоступностью, самочевидностью, мы получаем "неспециализир." философию, точнее философствование на уровне житейских целей и потребностей потенциально любого субъекта. Практически каждый субъект культуры причастен (нередко одновременно) нескольким смысловым плоскостям культурной реальности: он может быть ученым-естествоиспытателем и глубоко верующим человеком, философом (опр. ориентации) и обывателем, художником-любителем и членом той или иной полит, системы (гос-ва, класса, партии, страты, группы и пр.); соответственно его суждения о мире и культуре могут принадлежать разл. смысловым слоям сознания или составлять сложную конфигурацию разл. смыслов. Естественным является безграничное многообразие культурологич. концепций и учений, не только сменяющих друг друга во времени, но и нередко современных друг другу, что не исключает ни их взаимодополнительности, ни взаимополемичности. Наконец, само неопр. и все расширяющееся множество несводимых друг к другу дефиниции культуры, как и ее качественных и смысловых дифференциации, лишний раз подтверждает всю закономерную многозначность и сложность В. явлений и процессов культуры, в принципе многомерной.

Следует признать, что культурологич. знание представляет собой мышление по схемам многих знаний: оно не исключает ни конкретнонаучных, ни общенаучных, ни филос. обобщений, но может быть совершенно эмпирическим и восставать против любой его внешней концептуализации; оно включает в себя дорефлективные, рефлективные и надрефлективные компоненты, находящиеся в сложном, подчас конфликтном взаимодействии; оно использует систему относительно строгих понятий и емких категорий (свойственных дискурсивному мышлению в целом и науке, философии в частности), а также символов, нередко заимствованных из других областей знаний, представлений, переживаний (напр., мифологии и религии, лит-ры и искусства, житейской практики и этнонац. традиций), равно как и научных дисциплин (антропологии и социологии, психологии и семиотики, искусствознания и лингвистики, истории и лит.-ведения, подчас естеств. и техн. наук), переосмысливая их применительно к своему предмету - культуре (ценностно-смысловому единству), и в то же время обращается к образно-ассоциативным и интуитивным представлениям, рожденным в разл. сферах и формах культуры. В этом отношении критерии научности или художественности, абстрактности или конкретности, материальности или идеальности, объективности или субъективности, достоверности или вымысла, однозначности или многозначности, статики и динамики, всеобщности или частности и т.п. оказываются в равной мере недостаточными, неполными, не универсальными. В рамках одного и того же культурологич. дискурса субъекту культуры (в т.ч. и исследователю) приходится одновременно апеллировать к двум и более системам измерений (включая анализ, интерпретацию и оценку рассматриваемых явлений культуры), исходить из амбивалентности или принципиальной разноосновности культурологич. знания.

Теоретизм, этизм (этика) и эстетизм, несомненно, составляют три важнейших аспекта (измерения) любого культурного явления или процесса; в известном смысле они составляют более или менее органичное единство (платоновско-соловьевского образца: Истина - Благо - Красота); однако в другом отношении они же демонстрируют, по выражению М. Бахтина, "дурную неслиянность и невзаимопроникновенность культуры и жизни" ("Философия поступка", 1920-24), являя собой феномен социокультурного "полифонизма" и идейного "диалогизма" (позднейшая бахтинская терминология). Драматизм взаимоотношений этического и эстетического в культуре (ср. феномен маркиза де Сада или "Цветы зла" Бодлера вместе с образованной ими разветвленной традицией в лит-ре и искусстве); теоретического и этического (на этом построены различные филос., полит, и лит. утопии и антиутопии, а также концептуальные построения разл. рода в философии и религии, в науке и технике); эстетического и теоретического (особенно заметный в философских системах Платона, Канта, Шопенгауэра, Кьеркегора, Ницше, Вл. Соловьева, в творчестве зап.-европ. романтиков и символистов) подтверждает, что взаимоотношения теоре-тизма, этизма и эстетизма далеко не гармоничны и образуют не только культурное"всеединство", но и столь же всеобъемлющую, неукротимую борьбу противоположностей в рамках триады. Столь же драматичны последствия принципиального раскола между "содержанием-смыслом" данного акта-деятельности, "истор. действительностью" его бытия и его "единств, переживаемостью" (М. Бахтин). И преодоление подобного раскола и его последствий для культуры и жизни оказывается само по себе чрезвычайно сложным, неоднозначным, требующим совпадения многочисл. условий и интенций субъекта деятельности, к тому же выполнимых и достижимых лишь в плоскости самосознания личности, ее персональной ответственности, а не культуры в целом.

В. культурных феноменов в культурологии во многом зависит от того контекста, в к-ром эти явления рассматриваются: истор. контекст возникновения и функционирования этих явлений или контекст современный (относительно исследователя или иного субъекта культуры); контекст культурной традиции, из к-рой вышел данный феномен, или контекст последующих культурных инноваций; контекст культурной однородности (с данным явлением) или контрастности (с ним же); контекст субъективный (продиктованный ассоциациями или воззрениями опр. субъекта культуры) или объективный (связанный с истор. эпохой, конкр. топосом, нац. картиной мира, жизненным укладом) и т.д. В. феноменов культуры определяется в конечном счете мерой соответствия между рассматриваемым феноменом культуры и культурно-смысловым контекстом его осмысления. Понятно, что феномен ср.-век. алхимии, являющийся, с совр. т.зр., в контексте научных воззрений 20 в., безусловным заблуждением, мистикой, превращенной формой знания, представлял собой - в контексте ср.-век. культуры - плодотворный способ первичной структуризации знаний о мире, веществе, всеобщей изменчивости вещей и смелый прорыв в область неизвестного, заложивший основы будущих наук Нового времени - химии, физики, биологии, антропологии и т.п. Подобным же образом следует оценивать астрологию, метафизику, теологию и многое другое в культуре ср.-вековья или Возрождения: это смысловые структуры (или целые комплексы смысловых структур), определяющие мировоззрение и поведение духовной элиты своего времени; эти смысловые структуры в такой же мере выражают культуру опр. истор. эпохи, в какой опосредствуют ее истор. определенность в конкр. формах человеч. рациональности и соответствующей деятельности. Разл. утопии, возникавшие в сознании людей в разные века, могут быть оценены, с совр. т.зр., как "тупиковые" проекты, бесполезные и даже вредные для человечества и отд. его представителей; но в рамках культуры своего времени они выступали как серьезные и оригинальные попытки переоценки существующей действительности и выхода за ее актуальные пределы, как механизмы преобразования социокультурной данности в новую виртуальную реальность. Аналогичным образом в культурологии оцениваются разл. научные теории, концепции, гипотезы, версии, методол. подходы: их дискуссионность и открытость (концептуальная незавершенность) отнюдь не являются показателем их ошибочности или ложности, равно как и правдоподобия или истинности, - все они выступают как исторически обусловленные феномены конкр. культуры, и как таковые закономерны по своему содержанию и форме - наряду с иными, типологически рядоположенными, а семантически вариативными или альтернативными.

Будучи вписано в тот или иной содержат, контекст, каждое явление культуры, выступающее, т.о., как своего рода текст, тем или иным образом коррелирующий со своим контекстом, с одной стороны, накладывает свой отпечаток на контекстуальное смысловое поле, а, с другой, само адаптируется к своему контексту, испытывая его ценностно-смысловое воздействие; осмысление, интерпретация и оценка данного явления культуры всегда обусловлены контекстуальностью, т.е. складывающимися диалогич, отношениями между данным текстом и инновативным контекстом, - в рез-те происходит "приращение смысла" - прежде всего в самом тексте, обретающем - в процессе взаимодействия со своим контекстом - все более и более значит, "интерпретативную оболочку". В этом смысле одно и то же культурное явление в разл. культурно-истор. эпохи и даже в течение сравнительно небольших истор. периодов не равно себе, поскольку в своем содержании постоянно утрачивает одни смыслы и семантич. оттенки и приобретает другие, более актуальные, ценные или значимые в каком-то отношении.

Особый случай представляет нарочитая модернизация феноменов культуры прошлого или нац. адаптация инокультурных явлений, достигаемая соответствующим моделированием эпистемологич. контекста - резко современного или исключительно национально-культурного, - новый феномен культуры, высвеченный неожиданным контекстом, представляет собою аллюзию прежнего (т.е. особого рода интерпретацию, переосмысление, а не его продолжение и развитие), и его В. в культурно-истор. отношении, т.о., лишена смысла (на этом строится постмодернистская игра с исторически и культурно несовместимыми реалиями, в своей совокупности принципиально неверифицируемыми). Аналогично по своему рез-ту намеренное изъятие того или иного феномена культуры из его истор. контекста (игнорирование реальных культурных отношений и связей, "круга чтения" и интересов исследуемого деятеля культуры, культурно-смысловых источников и ассоциаций анализируемых произведений, концепций и доктрин; приписывание явлению культуры тех смыслов и значений, к-рые ему генетически не свойственны или исторически невозможны; "обвинение" деятеля культуры в незнании фактов или идей, известных его позднейшим критикам или интерпретаторам, или в отстаивании нежелат., с т.зр. интерпретатора, партийно-классовой, идеол. или филос. позиции по к.-л. вопросам, являющееся фактически тенденциозной реинтерпретацией культурных явлений в идейно чуждом или контрастном контексте. Такой в большинстве случаев была В. культуры в марксистской культурологии, наиболее последовательно сопоставлявшей феномены культуры с явлениями социальной действительности, делившей деятелей культуры на "прогрессивных" и "реакционных", а явления культуры на народные и "антинародные", революц. и контрреволюционные, "нужные", с партийных позиций, и "ненужные" (в свете задач революции, социалистич. строительства, коммунистич. идеалов, злобы дня и т.п.). В. феноменов культуры, осуществляемая с позиций истор., политико-идеол. или филос. превосходства, как и "суд" одной культурной эпохи над другой или критика одной нац. культуры др. нац. культурой (это же относится и к разл. субкультурам), - неправомерны и субъективны, хотя вполне объяснимы и широко распространены в истории культуры. Речь идет о столкновении разл., подчас несовместимых между собой культурных кодов и наложении взаимоперечащих смысловых структур, относящихся к гетерономным культурным системам. В. культурных феноменов носит здесь иллюзорный и, как правило, идеологически заданный характер. Иными словами, верифицируется т.о. не сам культурный феномен, а лишь его интерпретация (как правило, имплицитно содержащая в себе оценку, что подтверждает социально-полит, и идейно-мировоззренч. ангажированность исследователя). Строго говоря, В. в культурологии возможна лишь в феноменологич. и герменевтич. смысле, - т.е. в контексте данной культуры, данной истор. эпохи, данного культурного стиля, типа мировоззрения, морфологич. принадлежности и т.д. вплоть до конкр. явления культуры. Возникающая перед культурологами (особенно при проведении кросскультурных - сравнительно-истор. и типол. - исследовании) проблема культурного релятивизма в принципе трудно разрешима. С одной стороны, трудно доказать, что нек-рое явление или категория одной культуры (субкультуры) воспринимается именно таким образом в иной культуре, что понятия и представления разл. культур аутентичны и взаимопереводимы, что социокультурное объяснение этого явления в одной культуре будет верным и в отношении другой. С др. стороны, стремление понять другую культуру методом условного "вживания" в нее, с т.зр. "определения ситуации" исследуемыми деятелями, путем отказа понять "чужую" культуру на основании собственных категории и "своего" культурно-истор. опыта - чревато тем, что в рез-те "контекстуальной снисходительности" исследователя ни одно явление другой культуры (тип поведения, верования, мышления, творчества и пр.) не может считаться неестественным или иррациональным, если оно рассматривается в рамках собственного культурного контекста. В то же время маловероятно, чтобы исследователь "другой культуры" мог полностью отказаться от опр. стереотипов или дискурсов "своей культуры", что фактически исключает возможность адекватного понимания иного культурного опыта и других культурных систем. Т.о., В. подлежит не столько сама культура, анализируемая и интерпретируемая, систематизируемая и обобщаемая в культурологич. теориях и учениях, сколько культурологич. учения и концепции, осмысляющие и классифицирующие культурные явления, сопоставляющие их между собой и оценивающие, объясняющие и прогнозирующие культурно-истор. развитие человечества и его составляющих. Это важно для того, чтобы отчетливо различать в культурологич. исследовании значения, смыслы и оценки, навязываемые исследователем своему материалу, и вытекающие из его непредубежденного анализа; субъективную тенденциозность и познават. объективность; желаемое и действительное; органическое и производное.

Характерна концепция К. Р. Поппера, противопоставившего идее В. идею фальсификации. Стремясь последовательно и строго различать науку и идеологию (что особенно актуально в отношении гуманитарных и социальных наук, включая культурологию), Поппер доказывал, что наука, для того чтобы доказать свою валидность, должна стремиться не к защите своих положений и принципов, т.е. В. (это успешно делает и идеология), а к их опровержению: наука может развиваться только посредством проверки и опровержения собственных гипотез (фальсификации), выдвижения новых гипотез и их последующей фальсифицирующей проверки, и т.д. (к чему идеология органически неспособна). В полемике с Поппером Т. Кун настаивал на том, что наука зависит прежде всего от предположений, к-рые в принципе не могут быть фальсифицированы, а развитие науки определяется не систематич. испытанием гипотез, как это видит фальсификационизм, а в рез-те смены научных (шире культурных) парадигм. Если Поппер акцентировал в научном поиске порождение инновативного начала путем отрицания не выдерживающих проверки старых гипотез, то Кун подчеркивал непрерывность и преемственность культурных традиций в научном развитии, лишь изредка "взрываемых" научными революциями - переворотами, открывающими принципиально новые системы и принципы знания, тем самым прерывающими традицию и требующими обновления В. Логично представить В. и фальсификацию гипотез как взаимодополнит, принципы проверки знания, различно, но в одинаковой мере способствующие его росту, углублению и внутр. совершенствованию в контексте культуры.

Лит.: Кун Т. Структура научных революций. М., 1977; Заботин П.С. Преодоление заблуждения в научном познании. М., 1979; Мулуд Н. Анализ и смысл. М., 1979; Маркарян Э.С. Теория культуры и совр. наука (Логико-методол. анализ). М., 1983; Павиленис Р.И. Проблема смысла. Совр. логико-филос. анализ языка. М., 1983; Наука и культура. М., 1984; Полани М. Личностное знание: На пути к посткритич. философии. М., 1985; Рыжко В.А. Научные концепции: социокультурный, логико-гносеол. и практич. аспекты. К., 1985; Интерпретация как историко-научная и методол. проблема. Новосиб., 1986; Культура, человек и картина мира. М., 1987; Научные революции в динамике культуры. Минск, 1987; Гадамер Х.-Г. Истина и метод: Основы филос. герменевтики. М., 1988; Парахонский Б.А. Язык культуры и генезис знания. К., 1988; Героименко В.А. Личностное знание и научное творчество. Минск, 1989; Библер B.C. Михаил Михайлович Бахтин, или Поэтика культуры. М., 1991; Библер B.C. От наукоучения - к логике культуры: Два филос. введения в XXI век. М., 1991;0нже. На гранях логики культуры. М., 1997; Петров М.К. Язык, знак, культура. М.,1991; Он же. Самосознание и научное творчество. Ростов-на-Дону, 1992; Он же. Историко-философские исследования. М., 1996; Степин B.C. Филос. антропология и философия науки. М., 1992; Лем С. Этика технологии и технология этики. Модель культуры. Пермь; Абакан; М., 1993; Сорина Г. В. Логико-культурная доминанта: Очерки теории и истории психологизма и антипсихологизма в культуре. М., 1993; Манхейм К. Диагноз нашего времени. М., 1994; Орлова Э.А. Введение в социальную и культурную антропологию. М., 1994; Делез Ж. Логика смысла. М., 1995; Идеал, утопия и критич. рефлексия. М., 1996; Коммуникации в культуре. Петрозаводск, 1996; Культуральная антропология. СПб., 1996; Каган М.С. Философия культуры. СПб., 1996; Мамардашвили М.К. Стрела познания: Набросок естественноистор. гносеологии. М., 1996; Пятигорский А.М. Избранные труды. М., 1996; Рикер П. Герменевтика и психоанализ. Религия и вера. М., 1996; Вторая Навигация: Философия. Культурология. Лит.-ведение: Альманах. X., 1997; Злобин Н. Культурные смыслы науки. М., 1997; Каган М.С. Филос. теория ценности. СПб., 1997; Мамардашвили М.К., Пятигорский А.М. Символ и сознание: Метафизич. рассуждения о сознании, символике и языке. М., 1997; Михайлов А.В. Языки культуры. М., 1997; Туровский М.Б. Филос. основания культурологии. М., 1997; Popper K.R. The Logic of Scientific Discovery. L., 1959; Popper K.R. Conjectures and Refutations: The Growth of Scientific Knowledge. N.Y.; L., 1962; Adorno T.W. Prisms: Cultural Criticism and Society. L., 1967; McHugh P. Defining the Situation: The Organization of Meaning in Social Interaction. Indian., 1968; Vallier I. (ed.) Comparative Methods in Sociology. Berk., 1971; Douglas М. Cultural Bias. L., 1978; Smith A.D. National Identity. L.; N.Y., 1991.

Отличное определение

Неполное определение ↓

Здравствуйте, уважаемые читатели блога сайт. Слова валидация и верификация пришли в русский язык относительно недавно (в отличии, например, или ) вместе с международными стандартами разработки и приемки продуктов и технологий. В связи с этим, как обычно, возникает некоторая путаница с переводом технических терминов на русский язык и их трактовкой.

Кроме непосредственно технологических процессов, слова верификация и валидация активно используются в интернете , например, при регистрации в платежных системах ( , и др.), где для привязки к аккаунту пластиковой карты бывает необходимо пройти процесс ее верификации (проверки). Владельцы же сайтов знают, что в специальном сервисе на соответствие требованиям.

Также вас может интересовать значение слова валидация в связи с тем, чтоб при входе в Контакте, Мой Мир или Однокласники у вас выскакивает окно с требованием пройти валидацию вашего аккаунта с помощью ввода номера телефона или отправки СМС. Как правило, это результат действия вируса заразившего ваш компьютер, поэтому чуть ниже мы и этой коснемся, а также вариантов ее решения.

Что такое верификация и чем она отличается от валидации?

Давайте я попробую объяснить простыми словами изначально заложенный в эти слова смысл, ибо тот технический перевод, что вы можете найти, например, в Википедии (верификация и валидация) мало на что годится, если вы не специалист в этой области и с подобным никогда не сталкивались.

Итак, что же такое это за слова такие хитрые? Как я уже говорил, прямой перевод толкования терминов приводит к тому, что валидация и верификация кажутся нам словами синонимами и означают проверку (собственно, на бытовом уровне это зачастую так и бывает). Однако, разница между ними есть, причем кардинальная.

Давайте для общего развития я попробую пояснить разницу. Слово верификация (от английского verification) означает проверку или тестирование. Какой бы технологический процесс не взять (изготовление механического изделия, написание программного обеспечения и т.п.), то верификация будет означать проверку правильности и качества выполнения всех этапов изготовления. Если собирали велосипед, то проверятся наличие всех необходимых элементов (руля, педалей, рамы и т.д) и соответствие их указанным в техзадании параметрам качества.

Слово валидация (от английского validation) ближе всего к понятию аттестация, а по сути означает комплексную проверку изделия требованиям заказчика им же самим. Если собирали велосипед, то он будет валидирован после того, как на нем прокатятся представители заказчика и признают его удовлетворяющим своим «хотелкам».

В чем же отличие ? Можно сказать, что валидация — это тестирование изделия на физическую функциональность в процессе передачи его заказчику (велосипед едет или нет — проводят испытания) , а верификация — это то же тестирование, но «бумажное» на предмет соответствия изделия техническому заданию (как раз то самое наличие педалей, колес и руля у велосипеда), и проводится оно еще до передачи изделия или программного продукта заказчику.

Это безусловно грубое упрощение, но зато позволяющее пояснить разницу между понятиями простыми и доступными всем словами.

Еще один «грубый» пример . Допустим, было разработано новое лекарственное средство. Его формула и ТЗ передаются на фабрику. Исполнитель по окончанию работ проверяет (верифицирует) его химический состав и качество на соответствие ТЗ (техзадания). Заказчик же проводит валидацию полученного лекарства, испытывая его действие на пациентах или мышах. Если желаемый эффект будет достигнут, а побочные действия окажутся в рамках прогнозов, то лекарство будет успешно валидировано (аттестовано).

То же самое касается и программного обеспечения. Исполнитель выполняет работу, проводит верификацию на предмет соответствия функционала ПО техзаданию, а вот уже заказчик ставит ПО у себя и смотрит — выполняет ли оно возложенную на него задачу или нет. От результатов будет зависеть и решение по валидации или отправке на доработку.

Другими словами . Верификация — это подтверждение того, что задание было выполнено в полном соответствии с требованиями заказчика. А валидация — это проверка того, так ли как надо результирующее изделие (продукт) функционирует на практике. Может возникнуть ситуация, когда ТЗ выполнено, а изделие не работает или работает не так как надо. Поэтому процесс валидации является более всеобъемлющим и показательным, чем верификации (штамп «валидировано» ставится поверх штампа «верифицировано», если так можно выразиться).

Валидация и верификация в онлайн-сервисах интернета?

Скорее всего приведенные выше объяснения вас глубоко не тронули, ибо вам узнать значение этих слов нужно было совсем по другой причине (вне рамок отношений заказчик — исполнитель). Дайте догадаюсь почему?

Ну, возможно, вы вирус цепанули на комп и вас теперь в какую-нибудь социальную сеть всплывающее окно «Пройдите валидацию» не пускает. Вы смутно догадываетесь, что сообщать свой номер телефона или отправлять СМС не является лучшим решением проблемы, поэтому и на тему «что такое валидация». Заранее скажу, что отправлять ничего не нужно, а нужно комп чистить и файл Хостс приводить в исходный вид. Об этом чуть ниже мы поговорим подробнее.

Также, возможно, что вы зарегистрировались в какой-нибудь платежной системе (или другом онлайн-сервисе), где предлагают верифицировать вашу платежную карту, валидировать сайт или сделать что-то подобное. Буржуйские термины вам показались не слишком понятными и вы .

В этом случае опасаться нечего. Вас могут, например, при попытке привязки карты к аккаунту платежной системы, попросить верифицировать свою кредитку (проверить ее на способность проведения платежей). Обычно с нее снимают небольшую сумму, а потом просят вас указать, а сколько именно было снято. Если указали, то карта верифицируется и ей можно будет пользоваться для пополнения виртуального счета или вывода с него средств.

Слово верификация тут используется по прямому назначению, т.е. как синоним слова проверка или тестирование. Так как многие сервисы в рунете создаются по образу и подобию ранее созданных платежных систем буржунета, то и терминология зачастую заимствуется тоже оттуда. В общем, тут вам предлагают просто потетстить карточку на предмет работоспособности перед началом ее использования.

Некоторые сервисы предлагают пройти процедуру валидации , т.е. аттестации (подтверждения) вашего аккаунта, чтобы получить больше возможностей и прав. Выражается это обычно в подтверждении своей личности (нужно прислать скан паспорта; либо с экраном компа, где открыта страница сервиса; либо указать номер телефона и потом ввести код полученный через СМС). Все это довольно часто владельцы сервисов обзывают валидацией, ибо слово получило достаточно большое распространение и стало можно сказать «модным».

Например, в Яндекс Деньгах мне пришлось пройти процесс валидации (идентификации) для того, чтобы получить возможность принимать платежи с некоторых сервисов на свой кошелек. Пришлось показать паспорт и стать своего рода аттестованным пользователем системы. Во многих социальных сетях просят указать номер своего мобильного телефона, а потом пройти процесс его валидации/верификации (проверки) путем отправки на него СМС с кодом, который нужно будет ввести в специальном поле на странице регистрации.

Валидация аккаунта Вконтатке и Одноклассниках — у вас вирус

Последнее время довольно распространен вирус , который при входе на сайты популярных социальных сетей (Вконтакте, Одноклассники, Мой мир и др.) выбрасывает табличку с сообщением, что ваш аккаунт должен пройти валидацию описанным способом.

Это мошенники. Очень ненавязчиво и требовательно они вытянут из вас деньги (платные СМС сообщения и т.п. вещи), заставят установить какую-нибудь гадость на свой компьютер или сделают еще что-то не очень приятное. Что же делать?

Во-первых, не вестись на все эти уловки. Кто вас попросил о валидации — администрация социальной сети или злоумышленник, который с помощью вируса подменил страницу социальной сети? Как проверить ? Довольно просто.

1. Посмотрите на адресную строку в вашем браузере — точно ли там написан адрес соцсети, а не поддельного сайта. Если адрес не тот (какая-то буква заменена или другой обнаружили), то просто откройте страницу соцсети в новой вкладке из закладок барузера или же набрав ее название в Яндексе (Гугле), а затем перейдя по первой приведенной ссылке (это будет ).
2. Если адрес верный, то попробуйте войти в свой аккаунт Вконтакте или Одноклассников с другого компьютера (планшета, сотового телефона). Можно попробовать также и с этого же компа. Войти получилось? Валидации не требовали ? Значит ваш компьютер заражен вирусом и его нужно срочно лечить.

Во-вторых, нужно начать искать способ удаления вируса или хотя бы на первых порах нейтрализации его последствий. Если у вас антивирус не стоит, или он не активен (не оплатили очередной период, не обновили антивирусные базу, его заблокировал вирус), то попробуйте скачать портативную и бесплатную версию Доктора Веба (доверяю ему уже больше десяти лет) и просто запустите быструю проверку.

Наверняка он скажет, что у вас изменен файл Hosts и предложит его починить. После этого при входе в Контакт, Одноклассники и другие сети у вас валидацию требовать уже не будут.

Если данная утилита по каким-то причинам вам не помогла (не получилось скачать, не запустилась и т.п.), то можно самому попробовать найти и почистить от лишних записей так называемый файл Hosts .

Дело в том, что вирус мог в нем прописать строчку с адресом соцсети и совершенно не относящимся к ней IP-адресом. Браузер всегда сначала обращается к файлу Хостс на вашем компе (а только потом в интернет), и если там находит соответствие IP адреса и домена (например, vk.com 109.121.92.15), то сайт соцсети он будет открывать именно с этого IP, а там уже будет подготовлен фейковый сайт как две капли воды похожий на настоящий, но который при попытке входа будет выкидывать сообщение о валидации.

Если ничего из вышенаписанного вам не помогло, то пробуйте другие антивирусы или можете восстановить свою операционную из образа, если его раньше делали к примеру с помощью Акрониса. В худшем случае вам придется либо нести комп к специалисту, либо самостоятельно винду переустанавливать, а в дальнейшем быть максимально осторожным и обязательно пользоваться антиирусом, чтобы никаких табличек с валидацией более не выскакивало.

Удачи вам! До скорых встреч на страницах блога сайт

посмотреть еще ролики можно перейдя на

");">

Вам может быть интересно

Ликбез - что это такое (значение слова) VirusTotal - онлайн проверка на вирусы файлов вашего компьютера, телефона и сайтов всеми антивирусами одновременно
Аутсорсинг - что это такое простыми словами
Контекст - что это такое? Как бесплатно установить Гугл Хром, Яндекс Браузер, Оперу, Мазилу и Интернет Эксплорер на свой компьютер

Тезис Дюэма - Куайна
Метаязык Тексты Основные начала
Течения Эмпириокритицизм , Махизм
Люди Конт , Тэн , Милль , Спенсер

В различных сферах деятельности человека под верифика́цией (от лат. verus - «истинный» и facere - «делать») могут подразумеваться разные понятия. Например:

• Верификация - это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.

• Верификация - методика распознавания лжи (укрывательства, искажения).

В значении доказуемости, проверяемости объяснений (моделей) объектов /явлений , в зависимости от степени подтверждаемости реальностью (эмпирически , фактами), образует понятия :

Корень различного понимания понятия верификация кроется в спектре возможностей сличения соответствия конечного продукта предопределённым требованиям. Верифицировать соответствие конечного продукта предопределённым требованиям возможно, в зависимости от ситуации, по прямым и косвенным характеристикам этого конечного продукта. А также существует процессный подход, который отслеживает продвижение продукта к предопределённым требованиям.

Формальная верификация

Wikimedia Foundation . 2010 .

Синонимы :

Смотреть что такое "Верификация" в других словарях:

- (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… … Словарь иностранных слов русского языка

Проверка документов, расчетов и др. Словарь финансовых терминов. Верификация Верификация установление соответствия принятой и переданной информации с помощью логических методов. По английски: Verification См. также: Информационные взаимодействия… … Финансовый словарь

- (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия

Верификация - Верификация ♦ Verification Проверка истинности высказывания с целью его оценки. Так, расчет можно проверить, повторив ту же операцию или проделав другую, а гипотезу – посредством опыта. Правда, остается вопрос об истинности самой проверки –… … Философский словарь Спонвиля

В культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии

Проверка, сличение, подтверждение, свидетельство Словарь русских синонимов. верификация сущ., кол во синонимов: 5 валидация (4) … Словарь синонимов

верификация - и, ж. vérification f. Свидетельство, удостоверение в подлинности. СИС 1954. Не для суеты, но для оного я в сие плодовитое описание вошел; некие происшествия я забыл и не помню верификациев чисел и имян, не писавши у себя никогда никаких записок.… … Исторический словарь галлицизмов русского языка

Верификация - (лат. verificatio дәлел, растау) – ғылыми ақиқат пен оның деректері (мәліметтері) эмпирикалық, яғни тәжірибелік тексеру арқылы айқындалады деген әдістемелік концепция, принцип. Ол логикалық позитивизм мен аналитикалық философияның бір тармағы… … Философиялық терминдердің сөздігі

верификация - контроль проверка Установление соответствия принятой и переданной информации с помощью логических методов . верификация (ITIL Service Transition) Деятельность, которая… … Справочник технического переводчика

Англ. verification А. Проверка подлинности, правильности оформления документов, материалов. Б.Процесс сличения копии с оригиналом Словарь бизнес терминов. Академик.ру. 2001 … Словарь бизнес-терминов

- (от латинского verus истинный и facio делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, фактическими данными, экспериментом … Современная энциклопедия

Книги

• Верификация гипотезы М. Фарадея о силовых линиях в космосе. Силовые линии М. Фарадея в космосе , Серков Аркадий. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Конкретизируя гипотезу М. Фарадея, гравитационное поле рассматривается как вязко-упругое тело,…