-
Data: 2011-01-12 11:37:14
Temat: Re: Test porównawczy języków programowania
Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Jan 12, 10:30 am, "b...@n...pl" <b...@n...pl> wrote:
> On 12.01.2011 01:05, Andrzej Jarzabek wrote:
>
> >> Nie mówiąc o tym, że było kilka katastrof samolotów spowodowanych
> >> błędami konstrukcyjnymi jak np puszczenie kabli podstawowych i
> >> zapasowych jedną rynną.
>
> > Było kilka katastrof na ile lotów samolotów zaprojketowanych przez
> > certyfikowanych inżynierów? Powiedzmy w ciągu ostatnich 25 lat?
>
> Większość wypadków wynika z winy certyfikowanych:
>
> inżynierów,
> techników,
> pilotów,
> kontrolerów lotu
No i co z tego? Katastrofy lotnicze samolotów pasażerskich, w których
giną ludzie, zdarzają się średnio raz na kilka milionów lotów. W
pozostałych milionach przypadków do katastrofy nie dochodzi, co jest
zasługą certyfikowanych
inżynierów,
techników,
pilotów,
kontrolerów lotu
> Swoją drogą Panteon w Rzymie (zbudowany przez niecertyfikowanych
> budowniczych) niż Trasa Armii Krajowej w Warszawe zbudowana przez
> certyfikowanych inżynierów.
>
> Sam pomysł certyfikowania jest bzdurny z tego względu, że:
>
> Większe projekty i tak się pisze w oparciu o kod innych firm,
> biblioteki, stary kod, więc trzeba by było sprawdzić teraz wszystkie
> biblioteki, czy są napisane przez certyfikowanych programistów, bo
> inaczej co da najlepiej certyfikowany programista, jak w bibliotece
> będzie błąd?
Na przykład certyfikowany programista będzie lepiej wiedział, jak
dobierać biblioteki, żeby zminimalizować prawdopowobieństwo
wystąpienia błędu, będzie np. wiedział, które biblioteki są
intensywnie używane w przemyśle, które biblioteki są peer reviewed.
Będzie też lepiej wiedział, jak napisać lepsze unit testy, które
wykryją więcej ewentualnych błędów w używanych przez kod bibliotekach.
Oczywiście w pewnych sytuacjach można wymagać certyfikacji całego
kodu.
Istnieją jeszcze takie rozwiązania jak "grandfather clause" - jeśli
wprowadza się certyfikację w pewnym momencie, to wymagania w stosunku
do wcześniej istniejącego kodu moga być rozluźnione w stosunku do kodu
nowo powstającego. Analogicznie to nie jest przecież tak, że jak
wprowadzono uprawnienia dla architektów, to oznaczało to wyburzenie
wszystkich dotychczas istniejących budynków.
> Prawie każdy program (pomijam sterowniki, soft pisany dla satelit i
> innych) to tak naprawdę interakcja wielu programów. Pod spodem mniej lub
> bardziej zabugowany system operacyjny, do tego jeszcze możliwe bugi w
> sprzęcie (np słynne 2+2=3.99). Do tego dochodzą interakcje ze
> środowiskiem zewnętrznym, ktoś kiedyś liczył, że raz na rok
> promieniowanie kosmiczne zmienia jedną komórkę pamięci, to było dawno,
> gęstość upakowania wzrosła, więc szansa na zmianę jest teraz większa.
> Więc nawet najlepszy algorytm, najlepsze nie da 100% gwarancji, że coś
> się nie wywali.
No więc uważasz, że jeśli coś nie daje 100% gwarancji, to jest
bzdurne. OK, wolno Ci, ale przyjmij do wiadomości, że dla większości
ludzi ma również sens coś, co daje 99,99% gwarancji zamiast np. 20%.
> Certyfikowany powinien być cały system produkcyjny, a nie poszczególne
> elementy.
Dlaczego nie poszczególne elementy?
> Co z tego, że zainstalujemy super program, na super sprzęcie,
> jak razem nie będą działać. I wszystkie certyfikaty programistów,
> konstruktorów będzie sobie można wsadzić w miejsce odpowiednie.
To z tego, że wadliwy program na zawodnym sprzęcie może akurat
prawidłowo działać jako całość w testach laboratoryjnych, podczas gdy
w produkcji wywali się na jakimś warunku brzegowym, którego w
laboratorium nie przetestowano. Również nie ma żadnych przeszkód, żeby
certyfikowany program pisany przez certyfikowanych programistów
chodzący na certyfikowanym sprzęcie zbudowanym przez certyfikowanych
konstruktorów oprócz tego certyfikować jako całość. Każdy etap
certyfikacji dodatkowo zmniejsza prawdopodobieństwo usterki.
Następne wpisy z tego wątku
- 12.01.11 11:45 Mariusz Marszałkowski
- 12.01.11 11:47 Tomasz Kaczanowski
- 12.01.11 11:55 Sebastian Kaliszewski
- 12.01.11 12:01 Andrzej Jarzabek
- 12.01.11 12:14 Andrzej Jarzabek
- 12.01.11 12:19 Michoo
- 12.01.11 12:24 Andrzej Jarzabek
- 12.01.11 12:48 Mariusz Kruk
- 12.01.11 12:56 Krzysiek Kowaliczek
- 12.01.11 13:04 Tomasz Kaczanowski
- 12.01.11 13:28 Andrzej Jarzabek
- 12.01.11 13:22 Sebastian Kaliszewski
- 12.01.11 13:45 Andrzej Jarzabek
- 12.01.11 13:44 Mariusz Kruk
- 12.01.11 13:51 Andrzej Jarzabek
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-08 Router LTE z możliwością zmian MTU
- 2025-07-08 Re: Pożar w Ząbkach a polscy dyletanci
- 2025-07-08 Trójmiasto => Head of Social Media <=
- 2025-07-08 Warszawa => MENA New Business Manager <=
- 2025-07-08 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-08 Warszawa => Customer Service with Spanish + translation <=
- 2025-07-08 Warszawa => Senior Account Manager <=
- 2025-07-08 Parkometry bez podstawy prawnej
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 TV z Play (dawniej UPC) -- potrzebny dekoder?
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 mija rok jeżdzenia po lewej
- 2025-07-06 Elektryki jednak są NIEBEZPIECZNE
- 2025-07-08 Fajny film widziałem...