|
Страници по тази тема: 1 | 2 | 3 | 4 | 5 | (покажи всички)
Тема
|
И най-малките камъчета преобръщат каруцата ...
|
|
Автор |
виk (направо крясък) |
Публикувано | 02.09.05 22:04 |
|
Ariane 5 launcher:
crash on June 4, 1996
cost = 500.000.000 USD (uninsured)
reason: Ariane 4 software was used for Ariane 5, which resulted in a runtime error (conversion of 64 bit floating-point number to a 16 bit signed integer)
([Meyer 1997], page 410)
Добрият език за програмиране не би позволил подобно преобразуване на типовете да се случва неконтролирано, дори по време на изпълнение.
Редактирано от виk на 02.09.05 22:18.
| |
Тема
|
в совалките не се ползват добри езици
[re: виk]
|
|
Автор |
zaphod (void *lpNothing) |
Публикувано | 02.09.05 22:58 |
|
защото ако се ползваха, ни една да не беше излетяла досега. 
NE SUTOR ULTRA CREPIDAM
| |
Тема
|
Re: И най-малките камъчета преобръщат каруцата ...
[re: виk]
|
|
Автор | BиK (Нерегистриран) |
Публикувано | 02.09.05 23:09 |
|
а в добрия свят всяка жена иска да ти прави свирка и да гълта...
абе пич много си тъп... чак дразниш :)
| |
Тема
|
Ти си баси религиозния фанатик!
[re: виk]
|
|
Автор |
Colombino (работен) |
Публикувано | 02.09.05 23:35 |
|
Помня го тоя случай. Бил съм втори курс. Иво Пеев като бъркахме ни викаше, че заради такива програмисти като нас ракетата била отлетяла към слънцето (или нещо в тоя стил). Пишехме на Паскал тогава.
Колкото и дебилни ограничения да измисляш, никой не може да те защити от грешки. Но опитите да преодолееш дебилни ограничения определено спомагат за допускане на грешки.
А тъпия жабаркси марсоход преди 1-2 години за малко да не мръдне, ма добре че тия от НАСА не са чак толкова тъпи и явно бяха оставили някой C-модул с който му изтриха паметта и го подкараха.
Програмистки грешки винаги ще има. Такава е материята. Вярата ти, че рестрикциите на езика ги намалява граничи с религия или суеверие.
Айде кажи според теб как би постъпил твоя велик език като види, че някакви данни дошли от някакъв датчик който е сменен с друг вече не са кодирани в шорт, а в дабъл? В края на краищата това е команден модул и нищо да не правиш е равносилно на това да правиш нещо грешно. Единственото спасение е да правиш нещо вярно. Айде като си толкова умен дай идеи какво трябва да направи великият език, дето не ми дава да си конвертвам дабълите до шорт?
System Doctor Error:
Your girlfriend is pregnant.
(A)bort, (M)arry, (I)gnore?_
| |
Тема
|
Re: Ти си баси религиозния фанатик!
[re: Colombino]
|
|
Автор | BиK (Нерегистриран) |
Публикувано | 03.09.05 00:33 |
|
Is it the programming language's fault?
Although one may criticize the Ada exception mechanism, it could have been used here to catch the exception. In fact, quoting the report:
Not all the conversions were protected because a maximum workload target of 80% had been set for the SRI computer. To determine the vulnerability of unprotected code, an analysis was performed on every operation which could give rise to an ... operand error. This led to protection being added to four of [seven] variables... in the Ada code. However, three of the variables were left unprotected.
In other words the potential problem of failed arithmetic conversions was recognized. Unfortunately, the fatal exception was among the three that were not monitored, not the four that were.
| |
Тема
|
Re:
[re: BиK]
|
|
Автор |
виk (направо крясък) |
Публикувано | 03.09.05 00:41 |
|
Въпросът, каква е поуката от този инцидент? И още един, струва ли си инцидентът да бъде повторен, защото никой не си е взел поуки от него?
| |
Тема
|
Re: И най-малките камъчета преобръщат каруцата ...
[re: виk]
|
|
Автор |
Bълk (умора няма) |
Публикувано | 03.09.05 00:55 |
|
грешка на проектиране, никога не бива да се разчита и на неща от по-долна версия. 5та версия на този продукт е опит за по-добряване на 4та без да се осмислят нещата. Тук пойнта не е в език на програмиране, а в калпаво проектиране - грешката прокарана през версии и това, че проектант не я предвидил и отстранил.
| |
Тема
|
Re: И най-малките камъчета преобръщат каруцата ...
[re: виk]
|
|
Автор | Mинaвaщ (Нерегистриран) |
Публикувано | 03.09.05 03:41 |
|
reason: Ariane 4 software was used for Ariane 5, which resulted in a runtime error
Стига бе! Ариана 4 си летяла с грешния софтуер ...
Абе пич, много си тъп в изваждането на цитати. Нямаш ли нещо свое?
И като сме почнали с цитатите: Който не може, той учи другите.
| |
Тема
|
ами поуката е
[re: виk]
|
|
Автор |
zaphod (void *lpNothing) |
Публикувано | 03.09.05 08:45 |
|
че не трябва да се усъвършенстват неща които бачкат
NE SUTOR ULTRA CREPIDAM
| |
Тема
|
Re: И най-малките камъчета преобръщат каруцата ...
[re: виk]
|
|
Автор |
Дeшeв (Муслон) |
Публикувано | 03.09.05 10:15 |
|
Интересно съвпадение. В момента чета Software Project Survival Guide на Стив Макконъл. Там човекът споменава точно този инцидент с ракетата Ариана 5. Описва нещата в контекста на идеята, че продуктът не трябва да съдържа функционалност, която е ненужна или просто някой си е мислил, че ще е много "cool". Там дава няколко примера, как допълнителната функционалност струва повече за поддръжка и води до повече дефекти.
Неговата версия за инцидента е, че грешката, която е била фатална е била в модул, който не е бил необходим за Ариана 5. Той е бил остатък от софтуера за предишната ракета (Ариана 4). Програмистите просто били забравили да го махнат...
Забравих да кажа, че езикът за програмиране и операциите му за конверсии между числените типове нямат никакво отношение по проблема.
Редактирано от Дeшeв на 03.09.05 10:18.
| |
|
Страници по тази тема: 1 | 2 | 3 | 4 | 5 | (покажи всички)
|
|
|