SciFi (02.05.2015 17:47, просмотров: 73) ответил Evgeny_CD на Переполнение Int в Дримлайнереส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้
-
- Начать нужно с того, что разработкой алгоритмов и выбором типов данных должен не говнокодер заниматься, на основе данных из головы, а отдельный специалист. Который слабо знаком с программированием, может, но знаком с предметной областью. А не fk0(145 знак., 02.05.2015 23:02)
- какое взад хрен заведёшь. у агрегатов наработка считается. будут вырубать и в воздухе, если это позволит сэкономить. а касается выбора типа данных, то обычно спецы которые шарят в предметной области мало шарят в данных. аббревиатура IEEE754 у них Mahagam(32 знак., 02.05.2015 23:36)
- "по линейному и тяжелому обслуживанию лайнеров 787-й серии в 2020 г., которые составляют $650 млн и $43 млн. Как отмечают аналитики, таковы современные тенденции - увеличение частоты проведения линейных форм обслуживания и повышение долговечности basilmak(295 знак., 02.05.2015 23:33)
- может у меня с воображением плохо, но для чего и когда "генератор будет непрерывно работать более 231 секунд (248 с половиной суток)"? высосанная из пальца проблема - basilmak(02.05.2015 20:50)
- У программиста не должно быть воображения, он должен гарантированно обрабатывать граничные условия. - General(02.05.2015 22:59)
- а) воображение у всех должно быть б) программисты тоже ошибаются - тестирование должно было проверить всё, что гарантированно должно быть сделано г) речь вообще про то, что не верю что полгода ероплан под парами непрерывно может быть - потому basilmak(33 знак., 02.05.2015 23:37)
- алё! Проверять деление на ноль и переполнение - аксиомы. Без рассуждений. При попытке рассуждать - увольнение. - General(02.05.2015 23:39)
- Ладно проверять. Управляющее ПО при исключениях могло бы взять и произвести повторные расчёты по предыдущим величинам (близким к нулю) и выдать за результат. А не вываливать всю программу в аборт. И потом опять же матобеспечение дырявое -- fk0(461 знак., 03.05.2015 12:15 - 12:18)
- про деление на ноль - это из другой сказки - basilmak(03.05.2015 00:13)
- Из той же, про ивана-дурака. - General(03.05.2015 09:26)
- алё! Проверять деление на ноль и переполнение - аксиомы. Без рассуждений. При попытке рассуждать - увольнение. - General(02.05.2015 23:39)
- а) воображение у всех должно быть б) программисты тоже ошибаются - тестирование должно было проверить всё, что гарантированно должно быть сделано г) речь вообще про то, что не верю что полгода ероплан под парами непрерывно может быть - потому basilmak(33 знак., 02.05.2015 23:37)
- Сама проблема в текущей конфигурации действительно выглядит смешно, Но, как известно, к фатальному кирдыку приводит обычно цепочка событий (причем все из них, на первый и второй взгляд, далеко не фатальные). Как бинарные газы - по отдельности akz(577 знак., 02.05.2015 21:26,
)
- желать чтоб в софте не было ошибок можно - сделать такой софт нельзя, и навернется точно скорее не из-за фактической пропущенной ошибки а из-за непредвиденного сочетания ситуаций - но найдут чонить в медкарте второго пилота) - basilmak(02.05.2015 22:41)
- В работающей программе количество ошибок четное.(С) - Vit(03.05.2015 09:33)
- желать чтоб в софте не было ошибок можно - сделать такой софт нельзя, и навернется точно скорее не из-за фактической пропущенной ошибки а из-за непредвиденного сочетания ситуаций - но найдут чонить в медкарте второго пилота) - basilmak(02.05.2015 22:41)
- У программиста не должно быть воображения, он должен гарантированно обрабатывать граничные условия. - General(02.05.2015 22:59)
- Скорее всего этот счётчик нахер никому не нужен, только отметку в логе ставить, и будучи наговнокоден на Си не представлял бы опасности. Но тут использован наверняка Ада, с защитой всех переменных от переполнения и выхода за граничные условия, =AlexD=(108 знак., 02.05.2015 20:32)
- Во времена далекие, теперь почти былинные была такая операционка - OS/2. И была там аналогичная бага с переполнением внутреннего счетчика тиков таймера. Следствием был весь спектр разнообразнейших глюков (лочились потоки, вешались семафоры и т.д.) LightElf(66 знак., 04.05.2015 07:48 - 05.05.2015 20:00)
- Это, конечно, да. Но не стоит забывать ARINC-653 и полноту покрытия тестами. В первую очередь вопрос тут к отделу тестирования ПО. - Любитель_Радио(05.05.2015 07:54,
) - Счётчик может быть элементарным счётчиком времени (аптайм системы). И нелинейность (+дофига --> -дофига) в его работе нарушит работу огромной массы других подсистем, работа которых зависима от времени. И это известная проблема вообще в embedded. fk0(576 знак., 02.05.2015 23:09)
- Начать нужно с того, что разработкой алгоритмов и выбором типов данных должен не говнокодер заниматься, на основе данных из головы, а отдельный специалист. Который слабо знаком с программированием, может, но знаком с предметной областью. А не fk0(145 знак., 02.05.2015 23:02)