Хакеры разбудили МегаГерцина !

[Лекс Айрин]

debi12345, скауты НЕ пионеры, пионеры это первопроходцы.

Именно потому что все знают как пишется ПО я и предлагаю отменить пункт об отказе ответственности за нанесенный этим ПО вред. Это позволит сажать за выпуск программ с глюками. По крайней мере для критического сектора где могут пострадать люди. Тем более массово. А лучше как в Китае, где водитель наехавший на пешехода может лишиться не только прав или машины, но и жизни. Впрочем, с Боингом все может оказаться намного хуже. В случае разорения компании ее сотрудники могут вообще оказаться бомжами, так как клеймо непрофессионалов может держаться долго. И их просто не возьмут. И будут они работать где-нибудь грузчиками. Не, я надеюсь, что они сделали выводы и больше так не будут... но осадочек все равно останется.
Э нет. Существуют методики написания и отладки надёжных программ и соответствующего тестирования... Если хочешь, то поищи тот болт на 30000 мм который все на них кладут. Ибо это долго, дорого и нельзя будет списывать все на невозможность написания надёжных программ. Тем не менее верификаторы программ существуют и даже некоторыми используются.
А уж логические бомбы и прочие зловредские штуки это вообще уголовщина даже для современных условий. Вон даже на Трампа наезжали и чуть не заклевали.

[debi12345]

Это позволит сажать за выпуск программ с глюками.

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

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

[Лекс Айрин]

debi12345, очень просто. И то и другое в нормальном программном продукте недопустимо.
Отвечать. Будут все. Но методика написания надёжных программ вполне учитывает этот момент. И, если я правильно помню, при этом юнит-тесты пишутся разве только для очистки совести. Проверяется именно программа, а не результат ее компиляции. Ты забываешь, что программа это все же ее текст на каком-то из языков программирования. А то, что обычно называется программой есть исполняемый файл. Ну или бинарный код.

[debi12345]

Проверяется именно программа, а не результат ее компиляции

Сценарии юнит-тестов должны проигрывать все варианты эксплуатации программы - а это стык "программер-исполнителя-и-главный-нженер-заказчика". Уникальный человек, днем с огнем на сыщещь

[Лекс Айрин]

debi12345,ещё раз для тех кто в танке. Проверяется вся программа вплоть до последнего goto. А качество юнит тестов далеко в ауте, по сравнению с этим. Для примера, почти все программы написанные на Си, с учётом даже проверки юнит-тестами не проходят верификацию даже если учитывать проверки границ диапазона. В паскале все намного легче, так как он просто выдаст ошибку при пересечении диапазона. Да и размер массивов заранее известен. Не думай, что эта ошибка лишь маленькая неприятность. Именно она один из способов заставить выполнить произвольный код или тупо подвесить программу. Это знают. Большинство разработчиков, но выводов не сделали. У меня сильное подозрение, что и в компиляторах нету проверки.

[debi12345]

У меня сильное подозрение, что и в компиляторах нету проверки.

Есть - в языке RUST.

Добавлено спустя 2 минуты 32 секунды:

Проверяется вся программа вплоть до последнего goto. А качество юнит тестов далеко в ауте, по сравнению с этим

Тест-фрэймвоки типа JUnit позволяют чекать всю прогу по ходу юнит-тестов - код тестов видит все модули проги, пиши в нем хоть параллельную "мэйн"

[Лекс Айрин]

debi12345, и многие им пользуются? С учётом того, что проги выпускают дырявые как пояс Ходжи Насреддина вряд-ли многие.

[Vadim]

и многие им пользуются?

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

Добавлено спустя 1 минуту 24 секунды:

...почти все программы написанные на Си...

Что является 100% гарантией наличия багов...

Добавлено спустя 3 минуты 12 секунд:

Ровно наоборот - FAA с какого-то перепугу (видимо все очень хотели в отпуск) вернули весь пакетов документов на сертификацию в... БОИНГ!

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

[Снег Север]

Лекс Айрин, в случае с Боингом не было программной ошибки в смысле логики самой программы. Была ошибка техзадания о реакции программы на определенные внешние события. Никакие отладчики такое не выловят.

[Лекс Айрин]

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

[Vadim]

Хоть самолётов 100 раздолбайте, но в тираже ловить подобное это уже свинство.

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

Добавлено спустя 3 минуты 42 секунды:

Люди как-то ухитрялись шаттлы сажать...

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

[Лекс Айрин]

Vadim, ну так а нам какая разница? Накосячили, будьте добры посидеть в местах не столь отдаленных за убийство. А ведь они прекрасно знают к чему приводят их ошибки.
Ярик не принимаю. Они вон даже луноход, если я правильно помню, не смогли с первой попытки прилунить. Не зря же они официально отказались от государственной программы строительства ракет. Интересно, на чем они на Марс полететь хотят? На метле? Что-то я прихожу к мнению, что до красной планеты они не долетят. Время тикает, а у них и конь не валялся. Плюс ещё никто не озвучил как они будут защищаться от радиации во время полета. На планете можно ещё хоть как-то выкрутиться. Тут и на Земле не всегда удается. Чуть на солнышке подольше посидишь и все, ожоги от радиации и облезающая кожа.

[Vadim]

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

Проблема в том, что "там у них" главный косячник - FAA. Потому что выдал сертификат на самолёт принципиально не готовый к эксплуатации. И здесь ситуация складывается очень интересно - по сути дела сейчас будет судилище "правительство против правительства". FAA - это орган исключительно гражданской авиации. Хотя у них там есть свой "военный отдел", но этот отдел занимается только координацией полётов военных грузов. И всё. А боинг, как мы все прекрасно знаем, фирма больше военная, чем гражданская. У боинга очень толстая и очень мохнатая лапа сидит в пентагоне - не кто-нибудь, а целый замминистра обороны является бывшим топ-менеджером боинга. Так что, кого назначат виноватым - вопрос очень интересный. Скорее всего будет 50 на 50: из FAA посодют какого-нибудь мелковздрюченого чиновника, а из боинга если и посодют, то кого-нибудь типа дежурного сантехника, который, окажется, сел посреди ночи поиграть в порнопасьянс за графическую 12-типроцессорную с 1 ТБ ОЗУ рабочуюю станцию и нечаянно испортил программный код боинга...

Добавлено спустя 9 минут 35 секунд:

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

У них, начиная с Рейгана, денег в бюджете всё меньше и меньше. Смотри сам: от программы двух истребителей (лёкого, вертлявого, но тщедушного и мощного, но тяжёлого) они отказались после рейгономики. Госдолг именно при Рейгане резко пополз вверх, т.е. чтобы обеспечить госпрограммы деньгами, они стали занимать всё больше и больше - налогов категорически не хватает. Последний введённый в строй авианосец - ты будешь смеятся ( ) - "Рональд Рейган". Больше они ничего не строят, даже подводных лодок. Пилотируемую космонавтику, в лице Шаттла, зарубили. Полностью. Всё автомобильное производство, которое ещё к тому времени оставалось в США, переехало в Китай. Остались только военные и страшно дорогие представительские эксклюзивные автомобили. Кстати, про автомобили. Казалось бы - это чисто частный бизнес, причём тут государство? А государство покупало чуть ли не половину автомобилей. А тут раз - и всё, не на что...
Можно и ещё кое-какие примеры привести. Debi тут пишет, что америкосы от всего этого отказались из-за того, что сильно (не в меру) умные. Но вот поступлению денег государству что-то их излишний ум вовсе не помогает...

[debi12345]

в случае с Боингом не было программной ошибки в смысле логики самой программы. Была ошибка техзадания о реакции программы на определенные внешние события. Никакие отладчики такое не выловят.

Причем проявилось это только с необычными (реагирующими с "нестандартным" и упорствующим рвением) темпераментными азиатскими и африканскими пилотами.

Добавлено спустя 4 минуты 36 секунд:

Проблема в том, что "там у них" главный косячник - FAA. Потому что выдал сертификат на самолёт принципиально не готовый к эксплуатации.

Годный - при условии устранения этого бага. Виновата конечно ФАА - единственая кто владеет всеми методиками сертификациооных испытаний и откосившая от этих испытаний в данном конкретном случае.

Добавлено спустя 11 минут 35 секунд:

Что является 100% гарантией наличия багов...

С++, в одним ситуациях помогающий, а в других нет, в плане пост-компиляционных багов гораздо опаснее.
"С" вследствие простоты хотя бы всегда предсказуем.

Добавлено спустя 17 минут 15 секунд:

Не зря же они официально отказались от государственной программы строительства ракет

Такие программы - чисто имиджевые. "Вьетнам" отучил США париться темами имиджа и "авторитета", с тех пор только выгодно-невыгодно, неважно как это выглядит со стороны.

[Лекс Айрин]

Vadim, о... Это будет кайф, есть они посадят реально за пасьянс на рабочем месте разработчика левого чела. Это же какой удар по репутации. На охраняемый объект заходит кто хочет и делает что вздумается. Да у них даже в толчок по пропускам должны отпускать.
С бюджетом США вообще что-то странное творится. Вроде бы он растет, но реально толку от этого мало. Если правильно помню, военным перепадает большая часть. Только вот что доходит фиг поймешь. Такое впечатление, что деньги просто тупо едят. Ну или отапливаются ими. При этом, американцы приезжающие в Россию нам откровенно завидуют. Ладно бы можно было списать на переводчика, но ведь они это говорят по русски! А уж по голосу англоязычного я отличу. А уж когда они говорят как нельзя говорить в той же Америке... Волосы дыбом встают.