-
Data: 2019-10-04 08:17:58
Temat: Re: POpularno?? j?zyk?w programowania ??
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> > Czyli nie czytałeś raportu z analizy tej katastrofy.
>
> Ależ czytałem. Nie inputuj.
http://sunnyday.mit.edu/nasa-class/Ariane5-report.ht
ml
Zobaczmy.
> > Skrót jest taki: w Ariane 5 wykorzystano moduł opracowany dla Ariane 4, czyli pod
inne wymagania.
>
> I nikt go pod te wymagania nie testował.
Na jakiej podstawie tak uważasz?
Nie dość, że testował, to jeszcze używał:
"unless proves necessary, it was not wise to make changes in software which WORKED
WELL on Ariane 4"
> Słusznie. "inzynier syatemowy" bowiem zakłada magiczność Ady
Nie czytałeś. Inżynier systemowy założył, że można część testów zrobić na symulatorze
a nie na fizycznym module. 3.1 Findings, podpunkt s).
> Jeśli się upierasz że winę nie ponosi ktoś kto napisał kiepską funkcję
> tylko jakiś pierdzący w stołek dyrektor
"It is important to note that the decision [...] was taken jointly by project
partners at several contractual levels."
Wiesz, co to są "contractual levels"?
> to może spuśćmy zasłonę
> milczenia na to jak zakończą się następne projekty tego teamu
No właśnie - jak się zakończyły następne projekty?
> Kod który zakłada że "wynik obliczeń na pewno zmieści się w typie int16
> alnie nie testujemy bo nie chce nam się" jest do dupy z definicji.
Czyli nie czytałeś. To był wynik rzutowania z 64-bitowego float'a. W jaki sposób byś
to przetestował? Rzutując większe wartości i dostając wyjątek i stwierdzając, że
reakcja jest poprawna?
Właśnie taka reakcja była.
> Choćby dlatego że w takim wypadku używa się arytmetyki z saturacją jesli
> ma wystapić niemożliwe.
Jakiś link do standardu, który tak nakazuje.
Jeśli wystąpiło niemożliwe, to znaczy, że nie wiesz, co się dzieje. Wtedy odpala się
procdurę awaryjną, którą w przypadku Ariane 5 było samozniszczenie.
> A tu najzwyczajniej w "bezpiecznym języku"
> odpierdolono byle jak.
Gdzie w tym raporcie jest takie stwierdzenie?
> > Hint: gdybyś był tam *programistą*, to też by pierdykło, bo miałbyś w tej sprawie
dokładnie tyle samo do powiedzenia
>
> Miałbym do powiedzenia znacznie więcej.
Oczywiście.
> Ada pokazuje że można z bezpiecznego języka zrobić takie same fajerwerki
> jak z pisania w C.
Nikt nie twierdzi inaczej. Niektórzy twierdzą jednak, że w dobrym języku o fajerwerki
jest trudniej.
> Zawsze podstawowe pytanie brzmi: czy kod jest zweryfikowany,
> poddany testom, ma pokrycie coverage które definiuje jakiś poziom ryzyka.
I który punkt raportu stwierdza, że tego nie było?
> A tutaj sobie jakiś misio wrzuca kod z jednego systemu do drugiego.
Tak właśnie było.
Dlatego powtórzę: to nie była wina Ady, to nie była wina programistów i nic więcej
nie miałbyś tam do powiedzenia.
Przeczytaj ten raport.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 04.10.19 08:18 AK
- 04.10.19 08:23 AK
- 04.10.19 16:40 J-23
- 04.10.19 16:44 Roman Tyczka
- 04.10.19 20:21 heby
- 04.10.19 20:26 heby
- 04.10.19 20:29 heby
- 04.10.19 20:54 heby
- 04.10.19 20:56 heby
- 04.10.19 20:59 heby
- 04.10.19 21:00 heby
- 04.10.19 21:16 heby
- 04.10.19 21:26 g...@g...com
- 04.10.19 21:46 heby
- 04.10.19 21:49 heby
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=
- 2024-05-17 Bieruń => Administrator i wdrożeniowiec Lotus Notes/Domino <=
- 2024-05-17 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-05-17 Warszawa => International freight forwarder <=
- 2024-05-17 Warszawa => Fullastack (Java) Developer <=
- 2024-05-17 Lublin => Business Development Manager - obszar bezpieczeństwa IT <=
- 2024-05-17 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-17 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-17 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-18 wojna wojno a kredyt trzeba spłacać
- 2024-05-16 Samo rozładowywanie baterii trakcyjnej w elektryku.
- 2024-05-16 Warszawa => Senior PHP Developer (Symfony) <=