Ada_Ru форум

Обсуждение языка Ада

Re: [ada_ru] GNAT GPL 2007

Оставить новое сообщение

Сообщения

rainbow-2000
Re: [ada_ru] GNAT GPL 2007
2007-05-13 21:01:36

Vasiliy Fofanov <fofanov@act-europe.fr> writes:

Ну и мега-крутой полёт "Ариана", когда из-за ошибки

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

траекторию полёта и грохнулся где-то в океане. Самый дорогой, говорят, компьютерный баг в истории

>

Говорят много чего. Не было там никакого "компьютерного бага", и ошибка не у программистов была. Вины с арианом не было ни у программистов вообще ни у Ады в частности. Как по спецификации было велено, так и запрограммировали. >

Ну это понятно, конечно не было вины.

Предполётное тестирование не проводили, как положено, обработчик отключили. В результате Ариан грохнулся. Ада сильна своими типами, но, увы, по иронии судьбы, там как раз-таки во время конвертации с одного типа (64-bit float) на другой (16-bit signed) и произошёл этот

arithmetic overflow. А виноват, как обычно, экипаж...

--

Rgds

Alexey

Ну это понятно, конечно не было вины.

 

Сарказм малоуместен. Софт был написан для ариана-4, где работал

безукоризненно. Предлагаете вменить в вину программистам что он не работает на ракете, которой еще и не существовало в момент когда он был написан? Развивая эту мысль можно предложить вменить в вину разработчикам программ для XP, когда они не работают на Vista :)

 

Предполётное тестирование не проводили, как положено

 

Какое "предполетное тестирование" предлагается провести, чтобы установить что софт системы инерциального позиционирования, написанный для ариана-4, не рассчитан на значения ускорения, развиваемого арианом-5? Такое можно найти только если знать что искать. А этот модуль поставили без изменений чтобы денежку сэкономить.

 

, обработчик отключили.

 

Никто ничего не отключал, его там не было изначально. Поскольку не нужен был.

 

В результате Ариан грохнулся. Ада сильна своими типами, но,

увы, по иронии судьбы, там как раз-таки во время конвертации с одного типа (64-bit float) на другой (16-bit signed) и произошёл этот

arithmetic overflow.

 

Какая ирония, какой судьбы. Софт был для другой ракеты написан.

 

А виноват, как обычно, экипаж...

 

Простите, а кто у нас в данном случае "экипаж"?

 

ВФ

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти