280 000 строк кода — ни одной ошибки?

[@shai_xylyd]

Софт и ПО это не синонимы?

[@golmgolm]

Ализар же

[@GadPetrovich]

Этот комментарий всегда собирает много плюсов.

[@golmgolm]

И каждый всегда, к сожалению, опускает карму.

[@wilelf]

Судя по всему, в коде таки были комментарии…

[@Kawamura]

осторожно, кармадроты

[@MniD]

«компьютерщикам» — Ализар, такой Ализар…

[@Bobos]

Ализар — катализатор дискуссий. Что бы ни написал, как бы ни написал — всегда есть повод побурлить

[@saveart]

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

[@saveart]

*ни написал

[@3ybHa9_Fe9]

Use Alizar's topic highlighter, Luke

[@Mezomish]

>«компьютерщикам» — Ализар, такой Ализар…

А по-моему он просто издевается. Тынц.

[@SlaX]

Сейчас читаю книгу «Бережливое производство программного обеспечения», где главная идея основана на подходе Toyota к производству автомобилей. Думаю Toyota использует такой же подход для разработки своего ПО, который исключает появления ошибок, а не ищет ошибки в уже существующем коде.

[@LeshaL]

Единственная возможность исключить ошибки, как известно, это не писать никакого кода.

[@SlaX]

Конечно такой подход не исключает появления ошибок полностью, но уменьшает ихнее количество очень сильно.

[@artyomst]

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

[@DIegoR]

Три. Положим допустимо использовать «ихний» как притяжательное местоимение. Тогда все-равно количество *кого/чего* -> родительный падеж = «их», а не притяжательное «ихнее».
Пример: мое величество vs. величество меня. :-)

[@Xlab]

ИХ

[@Maccimo]

Неужели?

[@DIegoR]

slovari.yandex.ru/%D0%B8%D1%85%D0%BD%D0%B8%D0%B9/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D0%B8%D1%82%D0%B0%D1%80%D0%BD%D1%8B%D0%B9%20%D1%81%D0%BB%D0%BE%D0%B2%D0%B0%D1%80%D1%8C/%D0%9A%D1%83%D0%BB%D1%8C%D1%82%D1%83%D1%80%D0%B0%20%D1%80%D0%B5%D1%87%D0%B8/

[@l0calh0st]

Именно поэтому у АвтоВаза тоже нет ни одной ошибки в коде.

[@kabachok]

нет, просто там у кого-то в генетическом коде имеется баг.

[@vanwin]

До 26 апреля сего года не было ни единого разрыва

[@cst]

Главная проблема — убитый автопром США. Поэтому там явно государство сказало или отзываете Приусы свои или закроем импорт.

[@brainerazer]

Хитрый план такой хитрый

[@cst]

Эм, это экономика ребята.
США потеряла весь автопром кроме Форда, который держится лишь европейским отделением. Это не очень хорошо.

[@equand]

Прям как в анекдоте, продолжите сами:
«Пришел Обама значит на совет директоров Тойоты, а там...»

[@udex]

Я за этой историей слежу практически с самого начала и она чем дальше, тем нитки всё белее. Есть такое ощущение, что неисправностей просто нет и не было никогда.

[@cst]

Эм, а я о чем?

[@udex]

Ага, это я как бы в подтверждение.

[@kfedorov]

Говоря откровенно

After looking at more than 280,000 lines of software code in Toyota vehicles, NASA engineers found no electronic flaws capable of producing the large throttle openings required to create dangerous, high-speed unintended acceleration incidents, the Transportation Department said in a statement releasing its findings.

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

Так что не стоит думать, что в 280к кода ошибок нет

[@bondbig]

Не парьтесь, это фирменный стиль автора. Все привыкли давно и не воспринимают эти «новости» всерьез.

[@toxicdream]

Все равно рад за Тойоту!

[@ColorPrint]

А уж акционеры как рады )

[@Shersh]

А уж программисты, которые писали этот код… мне было бы не по себе, если бы я знал, что из-за моих ошибок погибли или пострадали люди

[@GraD_Kh]

В каждой новости ализара найдется такой комментарий. Может из них сделать отдельный блог? Или просить самого ализара добавлять ссылку на коммент с разбором в топик :)

[@Yeah]

И как вы себе это видите?

Вот, товарищи, сама новость.
А вот тут написано, что я дурак.

[@GraD_Kh]

Тэг irony просто парсер вырезал…

[@Yeah]

Ну у меня тоже вырезал. Только тэг был sarcasm

[@Mezomish]

Может сразу дать ему отдельный Хабр? :)

[@YasonBy]

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

[@k_s]

280000 строк формальными методами? Это сколько времени надо?

[@Halt]

Как как насчет проблемы полноты, P ≠ NP и иже с ним? Если говорить о формуле рассчета чего-либо это одно. Но никак не о конечном автомате в целом и программах в частности.

[@YasonBy]

Я не эксперт по формальным методам, но если им посвящена целая область computer science и они успешно используются для проверки реальных систем — видимо, есть методы для ограничения сложности. Википедия упоминает некие методы абстракции, позволяющие проверить несколько состояний системы за один шаг («smart and domain-specific abstraction techniques to consider whole groups of states in a single operation and reduce computing time»).

[@agoshkinviktor]

ПО для авто влияет на седло, софт для компов копируют назло )

[@MegafonUral]

твой хип-хоп отстоен

[@KReal]

>>самых нашпигованных электроникой автомобилей в мире

orly?

[@critical]

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

[@habarov]

Спешу напомнить, что в Америке производят и продают Lexus, который намного более продвинутый, так сказать.

Ваш К.О.

[@Kakao]

Lexus подмарка Toyota.
Ваш К.О.

[@Gol]

Ну не то чтобы уж подмарка, просто эт как Nokia и Vertu. Те же яйца, только на порядок дороже и в профиль.

[@Kakao]

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

[@esc]

Да ладно, сравните LX570 и LC 200 или GX470 и LC Prado. Какой там разные, такое чувство, что разные там только движки (и опций чуть добавили).

[@habarov]

Вот это новость!

[@infom]

Можно я продолжу
Lexus — Toyota
Acura — Honda
Infinity — Nissan

[@KReal]

Я, честно говоря, имел в виду немцев. Например BMW с их iDrive.

[@Aragats]

>>Таким образом, названы две причины массовых случаев ДТП с участием >>автомобилей Toyota: это неправильное расположение коврика и >>залипающая педаль акселератора.
К сожалению, скорее всего, есть и третья причина: человеческий фактор :(

[@deepslam]

Интересно, а как они смотрел, ошибок код и не даст, компилируется то он нормально, а вот всю логику проверить… смутно верится.

[@vasfed]

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

[@kiri4]

Я так понимаю, что ПО для автомобилей и не только пишется на специализированных языках программирования, которые более адаптированы к данной отрасли.

[@AndreyDmitriev]

Ещё одна область, в которой требуется отказоустойчивое ПО — это космос.
Любопытные могут ознакомиться с документом NASA Software Safety Guidebook.
Полистайте — не пожалеете. Местами весьма увлекательное чтиво.

[@k_s]

Фильм был про это кстати документальный вроде

[@obiwanus]

Поэтому американцы на Союзах летают?)

[@Gisma]

Нет поэтому, в их ПО гораздо меньше ошибок, чем в нашем -)

[@Joshua5]

зашёл сюда, чтобы запостить линк.

[@Joshua5]

и обсуждение habrahabr.ru/blogs/personal/4034/

[@ProstoTyoma]

В педали и коврике ошибки таки нашлись.

[@Dim0FF]

Написать 280000 строк кода и ошибиться в коврике… Японцы…

[@Paul]

Коврик небось зааутсорсили в Китай.

[@Ryav]

Коврики надо было заказать с DX

[@destroy]

В Индию.

[@tangro]

Для коврика тестов не написали.

[@AndreyDmitriev]

Вот вроде баг фикс как выглядит

[@aishek]

Чуваки, без обид, это была педаль.
Это я вам как обладатель Яриса 2008 года говорю.

[@mizi]

У Тойоты было 2 отзыва на коврик и на педаль, если мне не изменяет память, отзывали разные модели по этим отзывам.

[@aishek]

Возможно — я не следил.
Просто на моей машине была такая штука, что педаль газа «залипала» — это был чисто механический дефект (который устранили заплаткой из Японии=), электроника себя всегда ведёт корректно.

[@udex]

Чо, прям вот брала и сама разгонялась? Позвольте не поверить. Амфетамины вперемешку с водкой — более вероятный сценарий.

[@aishek]

Воображение должно работать хоть немного дальше прочитанного: если больше 2-х часов за рулем и в салоне жарко и выжимаешь педаль до упора, то она не сразу возвращается на своё место, когда убираешь с неё ногу.

[@Ryav]

Вот чем плох автомат. На механике выжал сцепление и машине уже побоку, что педаль все еще подкидывает топливо в движок

[@corristo]

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

[@Ryav]

По-моему это уже проблема того самого «не каждого» :)

[@corristo]

Слишком категорично. Паника в такой ситуации — это нормально.

[@kashey]

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

[@Dim0FF]

Проверяли люди из NASA. У них там с тестированием тоже строго.

[@glorybox]

Не разгонялась я, он сам пришел

[@fr0mus]

fail

[@fr0mus]

view.imgspy.ru/?4d52fbe3b1304-1498558116

[@dekoo]

У нас компания работает по созданию софта вместе с Японцами, наслышан от коллег, занятых в этом проекте о качестве работы ихних QA. Глубина проверки просто ошеломляет, отсюда и результаты…

[@awolf]

ИХ

[@Gisma]

В книге: «Совершенный код. Мастер-класс. Стив МакКоннелл.» автор вам расскажет как в коде на 280 000 строк кода может быть минимум ошибок.
А так сами подумайте: почему проверяла именно НАСА. Как часто программисты этой компании допускают ошибки в исходном коде?

[@PapaBubaDiop]

Надеюсь, код был предоставлен с девайсами?

А то тупо смотреть в чужой софт — седьмой круг ада. Другое дело погонял на камри, проверил циклы, красота.

[@ZyL]

У меня только что был случай. Надо было написать некую программу для брокеров (Java, Web-based + MS SQL), которая базировалась на таблицах системы управления конторой (с оборотом больше миллиарда долларов в год). Работал один с небольшой поддержкой бизнес-аналиста из IBM — это их железячный клиент, но с таким маленьким заказом им, конечно, связываться не хотелось, а отказать было неудобно, я два раза работал на ИБМ, они меня знали, поэтому попросили сделать.

Работал 3 месяца по вечерам, но на пустой БД — мне доступ не дали даже к старым данным. Таблиц тысячи, заполнить данными нереально. Так что приходилось очень тщательно подходить к алгоритмам (там не рокет сайенс, но достаточно сложно) и кодированию.

Начали тестировать с января, тестировали месяц. И вот неделю назад выдали отчет: не нашли ни одной ошибки.

Это не очень большая задача — примерно 800 кб кода на джаве, html/jsp, css, ajax. Не тойота, конечно, но так чтобы с первого раза все заработало и ни одной ошибки вообще — у меня это первый раз.

[@corvus]

K сенсационным выводам пришли представители фирмы Toyota, которые собственными силами расследовали причины «педальной проблемы» у продаваемых ею в США автомобилей. Такие машины, по словам их владельцев, начинали разгоняться из-за заедания педали газа — даже при нажатии на тормоз. Оказалось, что практически во всех случаях, по которым поступали жалобы, водители просто путали педали и вместо того, чтобы осадить железного коня, понукали его.

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

www.drive.ru/toyota/shortnews/2010/07/14/3457123.html

[@osintsef]

Зато в Лада-калина коврик ровно лежит ))

[@ser_gun]

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

[@ser_gun]

«They (NASA) found no proof that electronic glitches or computer problems led to unintended acceleration in Toyota vehicles.»

Про ошибки «вообще» я там ничего не вижу.

[@DIegoR]

Три. Положим допустимо использовать «ихний» как притяжательное местоимение. Тогда все-равно количество *кого/чего* -> родительный падеж = «их», а не притяжательный «ихнее».
Пример: мое величество vs. величество меня. :-)

[@avonar]

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

вы видимо мемуаров фейнмана не читали