Что такое верификация

[vak]

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

Comments

[denis-iv.livejournal.com]

глупо давать деньги инженеру, не имея слесаря, способного идеи этого инженера воплотить.

[vak]

Циолковский бы с Вами не согласился. :)
В микроэлектронике тоже все не так: большинство фирм, разрабатывающих чипы, не имеют собственных фабрик.

[denis-iv.livejournal.com]

инженеры бывают разные. до момента передачи документации "слесарю" долен быть разработан тех.процесс. что невозможно сделать без испытаний (многочисленных), т.е. так или иначе слесарь должен быть. если рабта сделана только на бумаге, то это не больше 5% всего пути. так что соотношение нормальное.

ЗЫ. и требовать гарантии того, что ракета долетит до луны, от слесаря, который эту раету не придумывал... слесарь отвечает за соответствие изделия документации.

[vak]

Долетит или нет - зависит от инженера. Но он может ошибаться. Поэтому и нужна верификация.

Есть еще другой этап - соответствует ли изготовленная ракета документации. В микроэлектронике такая проверка называется тестированием.

[denis-iv.livejournal.com]

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

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

[http://users.livejournal.com/_kalle_/]

Инженер, который в состоянии только бумагу марать, т.е. такой, что не в состоянии что-либо сделать своими руками, причём сделать качественно, может быть - лучше пресловутого слесаря, не многого стоит.

[vak]

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

[http://users.livejournal.com/_kalle_/]

Э-мнэ-пфе-мда... ((C) Гервазюк).

[sagarasousuke.livejournal.com]

Тут возникает резонное подозрение - не валидация ли это? :)

Верификация как соответствие ракеты чертежам - да.

[vak]

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

[sagarasousuke.livejournal.com]

Тогда, если позволите, вопрос - что в разработке электроники соответсвует "верификации" в случае "софта"?

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

Design validation (system capability) vs design verification (system conformance to design input requirements).

P.S. Безусловно, возможно устоявшееся словоупотребление. Я про концепты, не про язык :)