О надежности ПО

Deepwater Horizon oil spill.

Кстати, почему программистов в отличии от врачей или строителей не привлекают к ответственности за косяки с последствиями? Типа, дописал в лицензии «absolutely no warranty» и сразу ни в чем не виноват?

Кстати, почему программистов в отличии от врачей или строителей не привлекают к ответственности за косяки с последствиями? Типа, дописал в лицензии «absolutely no warranty» и сразу ни в чем не виноват?

Потому что оплата разработки не пропорциональная? Если кто-то хочет warranty - пусть закладывает в стоимость формальную верификацию алгоритмов и тестирование со 100% покрытием кода. Иначе - absolutely no warranty. Понятно, что ни одно государство не пойдет на оплату всей этой непонятной ерунды - в госзакупках же побеждает тот, кто предложит сделать больше работы за меньшие деньги...

Кстати, почему программистов в отличии от врачей или строителей не привлекают к ответственности

потому-что работу программистов никто не контролирует. Скажи это тем, кто за эту работу платит, я не против. А то у нас получается так, что играем в соревнование «быстрее, выше, сильнее», а побеждает участник, который навернулся с двенадцатиэтажки…

http://www.opennet.ru/opennews/art.shtml?num=34470

Почему врачи не несут ответственности?

А то у нас получается так, что играем в соревнование «быстрее, выше, сильнее», а побеждает участник, который навернулся с двенадцатиэтажки…

Требую в квотезы!

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

я не против.

Где такое увидел? Несут по полной.

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

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

ну дык и не должны. Ну вот например: будут-ли судить таджика, который добавил 50кг цемента, а не 100кг как положено, и от чего погибло 100 человек в результате терракта, хотя, если-бы добавил 100кг, то погибло максимум 10 человек? Особенно учитывая, что у таджика просто не было 100кг, что было, то и добавил(остальное украли, да).

хотя от их работы иногда тоже зависит жизнь человека

для спец. применения — формальная верификация и 100% покрытие тестами.

ни одно государство не пойдет на оплату всей этой непонятной ерунды

пойдет, если это необходимо.

А подводную группировку глонасс кто по твоему устроил?

А в 90-х систему управления американским эсминцем сделали на Виндовс-NT, потом после BSOD эсминец на буксире в порт тащили.

А в 60-х когда-то ракета американская взорвалась по причине ошибки в фортрановском коде.

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

Я тебе чего-то должен? Тебе надо, ты и ищи.

выдыхай, ты мне ничего не должен.

Polugnom> Типа, дописал в лицензии «absolutely no warranty» и сразу ни в чем не виноват?

Да. Перекладывание ответственности на того, кто программу задействовал в решении.

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

History's Worst Software Bugs

спасибо

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

Типа, дописал в лицензии «absolutely no warranty» и сразу ни в чем не виноват?

Типа, не дал времени и денег на построение надёжной программы, или не подыскал для этого достаточно квалифицированных специалистов, а виноваты в этом быдлокодеры?

Где такое увидел? Несут по полной.

Ну да, конечно!

Банально - неверный диагноз «аппендицит», вскрыли - не воспален, удалили. Кто понёс наказание?

в госзакупках же побеждает тот, кто предложит сделать больше работы за меньшие деньги...

И то только на бумаге :) На практике обычно тот, кто на лапу больше даст.

А тут разве есть вред здоровью?

А если действительность поциент умер или стал инвалидом, то хотя бы минимальную ответственность всё же, бывает, несут.

А тут разве есть вред здоровью?

Конечно. Ложись под нож раз вреда нет, чо?

1. Необоснованная порча шкуры
2. Риски заражения
3. Риски обострения хронических заболеваний
4. Необоснованная трата времени и средств
5. Неоказание помощи более тяжелым больным.

А если действительность поциент умер или стал инвалидом, то хотя бы минимальную ответственность всё же, бывает, несут.

Ознакомься с больничной смертностью и покажи мне аналогичное количество понесших ответственность.

Даже у Хауса поциенты умирали.

Банально - кровь берут из вены, всей ответственности - только предупреждение о возможных последствиях и страховка «если будет доказано, что это мы виноваты»

А что ж никто ответственности не понес?

Да пару раз дисциплинарную ответственность несли. А в остальных случаях — извините, врачи не всемогущи, лечится не всё.

Ну так известны случаи, когда было доказано, что врач виноват, и он нёс ответственность, в т.ч. уголовную (правда обычно не связанную с лишением свободы). А было ли такое с программистами?

А в остальных случаях — извините, врачи не всемогущи, лечится не всё.

Ну теперь замени «врачи» на «программисты».

Кто понёс наказание?

Аппендикс.

Ну так известны случаи, когда было доказано, что врач виноват, и он нёс ответственность,

Банально скорая не доехала и человек умер (инфаркт/инсульт) - тоннами в сутки по России бывает - где посадки?

Да пару раз дисциплинарную ответственность несли.

«Пару раз» и «дисциплинарную» несли и программисты.

А какие есть еще истории глобальных факапов, произошедших из-за ошибки в программном обеспечении?

Про автоматическую бочку на F-16 над Мертвым морем, еще удушение пилотов F-22, и т.д.

Ня http://news.open.by/it/100048

Мой любимый - когда один англичанин какое-то время был в отъезде, а потом его задолбал бухгалтерский комп энергокомпании, выписывая ему справедливые счета на 0.00 англицких денег за электричество и грозя всякими муками и отключением электроэнергии за неуплату. Так и не отстал противный, пока ему этот счёт не оплатили. Пруфов не дам, в бумажном журнале читал. Там ещё много было.

не спеша писали ровно одну программку 30 лет подряд... По их утверждению за все время работы, они нашли и исправили в своем коде менее 5 ошибок.

Тридцать лет писать хелловорлд - круто, я так не умею.

писать хелловорлд

я бы сам заплатил, чтобы почитать этот «хеловорд».

Я про пару раз говорю только про Хауса.

Я про пару раз говорю только про Хауса.

Мне не надо про Хауса, давай про жизнь. Где посадки?

Про взрыв космической ракеты писали в учебниках по фортрану, и с особым смаком - в учебниках по Аде.

Ну из нагугленного:

http://www.probirka.org/biblio/polezno/2780-vrachebnie-oshibki.html

http://www.uralinform.ru/news/crime/170530-vrachebnaya-oshibka-uralskii-hirur...

И это именно посадки (правда в колонию-поселение, но тут, в отличие от мусоров из «дальнего» им вряд ли разрешат там не сидеть). Ппока искал, наткнулся на несколько условных приговоров.

И чо, гробят тысячи людей ежедневно, а ты мне 2 ссылки нашел?

Ну тебе тысячи ссылок дать? У меня нет времени.

Ежедневно тысячи. Чувствуешь, на что я намекаю? У нас столько врачей не готовят.

Потому что оплата разработки не пропорциональная?

Скажи это врачам с зарплатой 15 тыс в месяц

Если кто-то хочет warranty - пусть закладывает в стоимость формальную верификацию алгоритмов и тестирование со 100% покрытием кода. Иначе - absolutely no warranty.

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

Почему врачи не несут ответственности?

Ты бы поинтересовался почему в РФ за 20 лет сделано всего 100 пересадок сердца (не в год, а всего 100). А про маски-шоу в операционной слышал?