Исследование ученых NASA космического корабля компании Boeing под названием CST-100 Starliner, который 20 декабря 2019 года не смог подняться на необходимую высоту для стыковки с Международной космической станцией (МКС), выявило широко распространенные и «фундаментальные ошибки» в программном обеспечении, которые могли привести к катастрофическому результату. Должностные лица NASA также признали, что космическое агентство не смогло должным образом контролировать работу Boeing и что проверки, которые должны были выявить подобные проблемы, потерпели неудачу. По мнению главы департамента исследований человека NASA Дуга Ловерро, непонятно, существует ли связь между проблемами в ПО корабля и крушениями двух Boeing 737 MAX. Ловерро заявил, что они не знают, сколько ошибок сейчас в программном обеспечении – возможно, две, а возможно, и несколько сотен. В настоящие время Boeing проверяет миллион строчек кода компьютерных систем челнока. Представители компании заявили, что сколько на это потребуется времени, неизвестно. Ранее корабль SpaceX Crew Dragon завершил свой исторический беспилотный полет на космическую станцию. NASA выбрало SpaceX и Boeing для создания интегрированных космических кораблей, ракет и связанных с ними систем для перевозки астронавтов, которые выполняют миссии NASA, в сентябре 2014 года.Источник: https://wek.ru/uchenye-nasa-obnaruzhili-fundamentalnye-problemy-u-kosmicheskogo-korablya-starliner-posle-neudavshejsya-stykovki
Люто реквестирую статью на швабре о том, какие охуенные гении работают в боинге и как адски-умно устроено анальное тестирование кода в наса. Была там целая серия высеров от либерах евангелистов проплаток ебаных.
>>6937531Потому что люди не дураки делать хорошо. Если ты сделаешь товар на заебись, то его у тебя потом не купят, старое ж работает. Надо делать так, чтобы не сломалось сразу, но при этом и веками не работало.
>>6937601Вы теперь обсеры хозяина решили оправдывать запланированной диверсией и симуляцией профнепригодности сотрудниками?
>>6937583>какие охуенные гении работают в боинге Это так перекрывали неудобные темы о 737 MAX, где индусы на аутсорсе накривокодили неотключаемый автопилот-самоубийцу?
>>6937611Да всем плевать на хозяина, лул. Большая часть людей старается проебываться больше и работать меньше. Потому что если ты проебешься, то получишь свою пайку как если бы ты ебашил. Такие дела.
>>6937613Нет, это было еще в конце десятых. Неудобный 737-й перекрывали дежурной борьбой с Роскомнадзором.
>>6937617Т.е. когда роскомнадзор заблокировал амазон вместо телеги, это было нормально? Они просто не хотели сразу сделать всю работу, чтобы не остаться без пайки. Это нормально, мировая практика, надо простить и понять. Верно, либераш?
>>6937625Они просто забили хуй, вот и все. Ты реально думаешь, что кто-то будет заморачиваться, особенно за копейки, когда от твоих усилий ЗП зависит ровным счетом никак? =)
>>6937629>особенно за копейки, когда от твоих усилий ЗП зависит ровным счетом никак? =)Это неявное подтверждение того, что код для наса писали бухие хохлы?
>>6937513Почему сразу на аутсорсе?>Разговор с программистом из SpaceX. Учился в Хмельницком, работал в Microsoft, Google, с 2013 в SpaceX.>Темы: устройство в SpaceX, взгляд на Илона Маска «изнутри», программирование. Вопросы про используемые языки программирования, операционные системы, железо и т.п.>«Вкратце, в полёте и системах, обслуживающих полёт, используется С++ и Linux. В менее критичных системах широко используется Python и другие языки.»https://www.linux.org.ru/news/linux-general/13229595
>>6937637Я не работаю в НАСА. Вполне возможно, что они решили, что программисты зажрались и индус Пажит с хохлом Тарасом напишут код не хуже и по цене 38 рублей еще захочешь.
>>6937518>Нужна поправка траектории, нужно немедленно включить маневровый двигатель на 0.5 секунды.>Отказ. Отсутствует код для включения маневрового двигателя. Программист Тарас уронил сало на клавиатуру и не дописал код.>Выключаю основной двигатель, один хуй на орбиту мы нихуя уже не выйдем.
>>6937637НАСА скинуло работу боингу, а боинг нанял индусов-аутсорсеров за минималку.Хохлы тут ни при чём.
>>6937680А как же анальное тестирование ведущими мировыми специалистами, высочайший контроль, строжайшая кадровая политика и лучшие умы со всего мира? Неужели евангелисты наса на хабре врали все это время? А ведь их так рьяно поддерживала в каментах элита информационных технологий всея Руси.
>>6937686Кек.Судя по рассказам о фундаментальных ошибках и проверке миллиона строк кода, они даже системное тестирование толком не проводили.
>>6937648Скорее такие же либерахи с петухабра. Диверсити, белые женщины их уже не устаривают, нужно срочно женского негра с членом найти.
>>6937798Это тётка, которая писала на ассемблере код для Аполлона. Во времена седой древности, до гендерных и расовых квот.
Интересно, какое из своих гениальных правил насовские индусы нарушили на этот раз?Нужно сильно ограничивать ветвления и условия. Не использовать goto, setjmp или longjmp, не использовать прямую или косвенную рекурсию.У всех циклов должен быть предел. Проверяющая программа должна иметь возможность легко доказать, что определенное количество итераций не может быть превышено. Если предел невозможно доказать статически, то правило считается нарушенным.Не использовать динамическое распределение памяти после инициализации.Любая функция должна уместиться на одном стандартном листе бумаги, одно выражение на строку и одна строка на определение. Обычно это означает, что функция не должна быть длиннее 60 строк.Должно быть не более двух ассертов на функцию. Ассерты используются для проверки аномальных условий, которые не могут произойти при реальном запуске. Ассерты не должны содержать сайд-эффектов, и по формату должны быть Boolean-тестами. Когда ассерт падает, должно запуститься специальное действие по восстановлению, например, возврат условия падения обратно в вызывающую функцию. Если проверяющая программа доказывает, что ассерт никогда не фейлится или никогда не удовлетворяется, то правило считается нарушенным. (Нельзя обойти это правило с помощью бессмысленных “assert(true)”).Объекты с данными должны быть задекларированы на самом низком (из возможных) уровне области видимости.Возвращаемое значение не-void функции должно проверяться вызывающей функцией. Валидность параметров должна проверяться внутри каждой функции.Препроцессор можно использовать только для включения header-файлов и простых макро-определений. Token pasting, вариативные функции и рекурсивные макро вызовы запрещены. Использование условных директив компиляции нежелательно, но иногда неизбежно. Это означает, что только в редких случаях уместно использовать больше чем одно или два условия в директивах компиляции, даже в больших проектах.Использование указателей должно быть ограничено. Допустимо не больше одного уровня разыменования. Операторы разыменования не должны быть скрыты в макро определениях или внутри typedef. Указатели на функции запрещены.Весь код должен компилироваться при всех включенных warning'ах, на самых дотошных настройках компилятора с самого первого дня разработки. Весь код должен компилироваться с такими настройками без единого warning'а. Весь код должен проверяться каждый день (как минимум раз в день, но желательно чаще), с использованием лучшего из доступных на текущий день статического анализатора кода, и должен проходить анализ без единого warning'а.
>>6937583>>6937613При чём здесь гении и индусы? Контроль за программным кодом утерян уже десятилетия назад. Никто не знает - как написана, и как работает программа, поскольку она стала слишком большой, недоступной человеческому анализу. В известном смысле это расплата за ООП.Нужно глобальное изменение парадигмы, потому что в долгосрочной перспективе ситуация будет драматически ухудшаться. Но BSOD - это просто испорченные нервы, а отказ автопилота грузовика может привести к массовым человеческим жертвам.
>>6937965>Никто не знает - как написанаНу так есть десять гениальных правил, позволяющих писать миллионы строк кода без единой ошибки. Ты че, читать разучился?> В известном смысле это расплата за ООПЛол што, блядь?
>>6937613Отключаемый. И даже в мануале прописали - где и как его отключать. И пилоты даже готовы были читать эти мануалы, но кто же им даст? Авиакомпашки решили съэкономить на переобучении, тем более, что и Боинг сказал: "Управление ничем не отличается".
>>6937991>И даже в мануале прописали - где и как его отключать.Пруфы пожалуйте.> И пилоты даже готовы были читать эти мануалы, но кто же им даст?Виноватых нет, я все правильно понял?
>>6937947>Ассерты используются для проверки аномальных условий, которые не могут произойти при реальном запускеТ.е. условия, признанные нормальными, они не ассертят. Умно! Ведь список ненормальных состояний всегда конечен.
>>6937677Ну... всё правильно, в общем-то, сказала. Разбираться в говнокодинге она не обязана, а получить качественную услугу за свои деньги - вполне имеет право.
>>6937648Ну так дефектиный менеджмент во всей красе епт. Как с тем боингом, который проектировали индусы во славу Кали за рис и карри.
>>6938003Пруф в том, что единственный экипаж, который нарыл новый мануал и тщательно прочитал его, справился с ситуацией. А два экипажа, которые не читали - разъебались. Хотя изначально проблема даже не в автопилоте, а в неисправном датчике, летать с которым считается нормальным.
>>6938158Ну мне лениво же, ты сам неужели не можешь найти в гугле. Это всем известная история же. И подробный анализ действий выжившего экипажа там же.
>>6937518>на jsВспомнилось https://www.reddit.com/r/programming/comments/bglvey/the_9bn_james_webb_space_telescope_will_run/
>>6937947Это правила для JPL, индусам на контракте у Боинга насрать на все из них разом.Я удивлён, как после обосрамса с максом старлайнер вообще пустили лететь без полного анализа кода.
>>6937583зачем тебе швабр, читай ориджинал, микрочеликhttps://www.fastcompany.com/28121/they-write-right-stuff
>>6938404В швабре самое интересное, это реакция хомячья ойти-илитки в каментах. Если бы не она, мне и оригинал нахуй не сдался, я и так неплохо представляю, как организована разработка в конторах, получающих заказы от наса.
>>6938158Цитата из FCOM. Ёбаный MCAS без проблем отключается - главное распознать, что проблема создаётся именно им.
>>6938253Потому что выяснилось, что у Боинга нет проблем с кодом. Есть проблемы с превышением полномочий. После того, как полномочия вернули FAA, а FAA выебали за передачу полномочий Боингу, всё вернулось на свои места.
>>6938492Проблем с кодом нет, всё вернулось на свои места, но MAX'ы стоят на приколе и производство остановлено?
>>6938962Максы стоят, потому что Боинг наебал с ними FAA. И пока не устранят, и не пересертифицируют самолёт - будут стоять. Наёбка в том, что в документах в FAA ушёл максимальный угол перестройки стабилизатора при работе MCAS в 0,6 градуса.А в документации самого Боинга обнаружилось, как уже цитировалось здесь выше - множественные перестроения, причём по 2,5 градуса каждое (значение было увеличено по результатам лётных испытаний). Кроме того, система MCAS ошибочно отнесена к неопасным, что аннулирует всю её сертификацию. MCAS использует один датчик угла атаки, а для опасной системы, к которой по параметрам перестроения стабилизатора относится MCAS должно быть два датчика и сигнализации о разнице показаний.А вообще, разбившиеся обезьяны неделями летали с неисправным датчиком, показывающим угол атаки 20 градусов, и всем было похуй.
>>6937965> отказ автопилота грузовика может привести к массовым человеческим жертвамАвтопелот грузовика вообще на нейросетях устроен, а логику нейросетей даже перельман понять не может. Если такой грузовик кого-то раздавит, нарушив дорожные правила, то погромисты только плечами пожмут: "Ну это... оно само... надо нейросеть еще потренировать".
>>6939716почему ((())) всегда раскручивают дебилов? эйнштейн, перельман, васерман?я просто разобраться хочу
>>6937489 (OP)> Представители компании заявили, что сколько на это потребуется времени, неизвестно. Время это деньги, так что потребуется его очень много. Миллиард-другой в масонском общаке лишним не будет, реднек джон уплатит за всё.
>>6939839не пойму, что случилось? Ну вспышка, ну и что?От вспышки что, провода перестали энергию проводить навсегда?
>>6937625Амазон продавал диапазоны айпишников паше придурову, вот их и заблочили, но там оказались не только айпишники тельа-грамма. То есть проходимцы из амазона сами насрали себе на плешь.
>>6937644>в полёте и системах, обслуживающих полёт, используется LinuxПиздец просто, под это же есть нормальные операционные системы реального времени, написанные программистами, а не студентами и хохлами.
>>6937489 (OP)Вангую что код "проектировал" зумерок насосавшийся смузи, который туда и микросервисы вхуярил, и бигдату, и ноду-жс, и всю модную парашу о которой только слышал на конференциях, вот только собственно в задачу вникнуть не осилил - он же программист, нахуя ему.
>>6940290Порвался русачок без единой визыТам реально насрано, я в рот не ебу, как наша фрашко-команда там подписалась жить каждый день и еще монструозную еботеку плотить.
>>6940088на ютубе вот какой то жиденок прыгаетя гыт книжку прочитал и сразу познал все фреймворки ебаныещас гыт 7000 имеюи ибало такое мерзенькое, жидовскоеhttps://www.youtube.com/watch?v=qQwcCS8K_K0вот эта хуита заполонила как клопы все ебаное айтиа раньше бородатые хуи вонючки годами дрочили ц++ и были асами
>>6937489 (OP)Я лахтодырка с вечным онлайном и не верю что бесмысленный и мертвый тред с 77 постами может сутки висеть в топе за сутки.Моча прилепила не иначе
>>6940028Да я знаю в чем там дело было, тут речь о том, что обслуживающие двач хохлы оче избирательно подходят к оценке фактуры.
>>6937531Поправка для всех, у кого IQ ниже 100%:Не сами злые погромисты так делают, а те, кто так делают, остаются в бизнесе.Если сделаешь хорошо и качественно, нахуя тебе платить зп как высококвалифицированному спецу, если можно пидорнуть и посадить на твоё место хохла/негра/женщину/индийца с зп в 5 раз меньше а разницу положить в карман?
>>6941122Сразу видно дивана.Не бывает программы, которую не надо изменять с ходом времени. Нет смысла писать хуево. Но есть смысл писать быстро, и со степенью хуевости там как повезет.
>>6943047>Нет смысла писать хуево. Но есть смысл писать быстро, и со степенью хуевости там как повезет. Ты на жыэсе что ли пишешь? У тебя тут прямая логическая несостыковка. Писать быстро в 99% случаев означает писать хуёво. Соответственно тот, кто пишет быстро, остаётся на плаву, а борщехлёб-байтоёб вылетает за борт, ибо по мнению эффективного манагера он недостаточно эффективен. Итерируй это действо несколько сотен раз - и получаем падающие боинги.
>>6940022Самое смешное, что ВИЛИКИЕ ИНЖЕНЕГРЫ не смогли вернуть цивилизации электричество, что уже явно намекает, что они говно.
>>6943984Эффективный манагер - он еще и в сказку верит. В ту, что свои нанятые долбоебы сроки невесть какие называют, а вот есть за горами-лесами контора, которая все за разумные денги в три дня и три ночи сделоет. Хуле тут поделаешь, к манагеру требований по образованию и техническому экспириенсу как водится ноль.
>>6944328Если умеешь рисовать картиночки - то в остальных областях ты борщеварка. Но верят именно тебе, картиночка ведь красивая и другим борщеваркам понятная.
