-
Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Certyfikacja, było: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Date: Sat, 24 Mar 2012 15:10:26 +0000
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 75
Message-ID: <jkko57$e05$1@inews.gazeta.pl>
References: <f...@4...com>
<jkcfmj$6pe$1@inews.gazeta.pl>
<5...@v...googlegroups.com>
<jkcodq$ae2$1@inews.gazeta.pl>
<9...@r...googlegroups.com>
<jkevir$875$1@news.task.gda.pl>
<9...@9...googlegroups.com>
<4f6b7cab$0$1259$65785112@news.neostrada.pl>
<jkgj3g$2j6$1@inews.gazeta.pl>
<4f6c2fad$0$1264$65785112@news.neostrada.pl>
<7...@h...googlegroups.com>
<jkhru4$dhn$1@inews.gazeta.pl>
<1...@w...googlegroups.com>
<4f6c8225$0$1266$65785112@news.neostrada.pl>
<7...@j...googlegroups.com>
<4f6c86a2$0$1210$65785112@news.neostrada.pl>
<f...@f...googlegroups.com>
<4f6c8d96$0$1274$65785112@news.neostrada.pl>
NNTP-Posting-Host: 5ac5171b.bb.sky.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1332601831 14341 90.197.23.27 (24 Mar 2012 15:10:31 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Sat, 24 Mar 2012 15:10:31 +0000 (UTC)
X-User: septi
In-Reply-To: <4f6c8d96$0$1274$65785112@news.neostrada.pl>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312
Thunderbird/11.0
Xref: news-archive.icm.edu.pl pl.comp.programming:196352
[ ukryj nagłówki ]On 23/03/2012 14:49, Tomasz Kaczanowski wrote:
> W dniu 2012-03-23 15:36, Andrzej Jarzabek pisze:
>>>
>>>> I wiadomo, że prawdopodobieństwo tego wynosi 100%?
>>>
>>> Prawdopodobieństwo czego?
>>
>> Tego, że "wszystko jest w niewłaściwej obudowie i zadziała przez to
>> źle".
>
> znowu nisko latające kwantyfikatory....
Nie mówię o kwantyfikatorach, tylko o prawdopodobieństwie. Bo jak się
rozpatrza niezawodność, to się operuje na prawdopodobieństwach, nie na
kwantyfikatorach. Jeśli mówisz "skoro z prawodpodobieństwem p obudowa
będzie niewłaściwa i całość zadziała źle, to co za różnica, jakie będzie
prawdopodobieństwo, że w oprogramowaniu będzie błąd, powodujący, że
całość zadziała źle". Otóż jedyna wartość p, przy której nie ma różnicy,
to 100%.
> Podałem przykład, co moze byc
> źle, ba jeden z przykładów z życia. Pokazałem Ci, że na to by urzadzenie
> istotne dla bezpieczeństwa działało dobrze istotna jest praca innych niż
> programista osób.
To nie znaczy, że praca programisty jest nieistotna.
> Dlatego musiałbys certyfikować nie tylko programistów,
> ale i projektantów elektroniki, projektantów elektryków i pewnie jeszcze
> kilku innych. Zamiast tego certyfikuje się urządzenie - bo jest pewniej
> i duzo taniej.
W wielu innych dziedzinach już jest certyfikacja. Na przykład do
projektowania instalacji elektrycznych trzeba mieć uprawnienia.
>> Czy może twierdzisz, że są takie obudowy, przy których właśnie
>> programy z UB, data races, deadlockami, nieobsłużonymi wyjątkami,
>> wyciekami zasobów, napisane w nieczytelny sposób i źle zaprojektowane
>> - będą chodzić najlepiej?
>
> Co to ma do rzeczy. Czy osoba z certyfikatem, czy bez tak samo może nie
> obsłużyć wszystkich wyjątków, choćby z czystego lenistwa, albo błędów w
> projekcie.
To jest jeszcze raz ten sam debilny argument, co z certyfikacją pilotów
i spadającymi samolotami. Już drugi raz używasz tego debilnego
argumentu. Zastanawia mnie, z czego to wynika?
>>>>> całość nie będzie działać. Tak więc widzisz, oprogramowanie jest tu na
>>>>> szarym końcu tego co może zawieźć. Więc 10 krotnie certyfikowany
>>>>> programista nic nie zdziała. Bo problem zazwyczaj leży gdzie indziej.
>>>> Skoro tak twierdzisz, to zapewne potrafisz podeprzeć to wiarygodnym
>>>> badaniem?
>>> Co mam potwierdzać badaniem?
>> Że "oprogramowanie jest na szarymkońcu" i "problem zazwyczaj leży
>> gdzie indziej".
>
> Tylko po co mam Ci to wykazywać badaniami.
Bo inaczej powiem: "pierdzielisz".
> Może zatrudnij się w
> przemyśle, popracuj przy rzeczywistych projektach, a sam zobaczysz,
> gdzie pojawia się najwięcej problemów.
Widzisz, debilom się wydaje, że jak jakiś Iksiński pracuje w przemyśle i
zobaczył w swojej pracy, że najwięcej problemów pojawia się gdzieśtam,
to znaczy, że właśnie tam najwięcej problemów się pojawia. Ludzie
posiadający choć trochę inteligencji, wiedzą, że Igrekowski może też
pracować w przemyśle i zobaczyć, że najwięcej problemów pojawia się
gdzie indziej, a Abacki - jeszcze gdzie indziej. Dlatego inteligentni
ludzie rozumieją, że żeby mieć wiarygodny obraz tego, gdzie się
pojawiają problemy, trzeba zebrać doświadczenia różnych Iksińskich,
Igrekowskich i Abackich i dopiero wyciągnąć z nich wnioski, a nie samemu
się zatrudnić w przemyśle i zobaczyć.
Następne wpisy z tego wątku
- 24.03.12 16:29 Andrzej Jarzabek
- 24.03.12 17:23 Andrzej Jarzabek
- 26.03.12 08:03 zażółcony
- 26.03.12 08:23 Paweł Kierski
- 26.03.12 08:46 Tomasz Kaczanowski
- 26.03.12 10:10 malkontent
- 26.03.12 14:38 Andrzej Jarzabek
- 26.03.12 18:18 Kviat
- 26.03.12 21:56 Roman W
- 26.03.12 23:01 Kviat
- 26.03.12 23:06 Roman W
- 26.03.12 23:21 Kviat
- 26.03.12 23:28 Roman W
- 26.03.12 23:33 Roman W
- 26.03.12 23:58 Kviat
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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
Najnowsze wątki
- 2024-09-11 Android 11, jak odzyskać zdjęcie z kosza?
- 2024-09-11 Czy turbiny muszą "mielić" ptaki? ;-)
- 2024-09-11 ogłoszenie widziałem na słupie WN
- 2024-09-12 Gdańsk => Technical Lead ( (Java Background)) <=
- 2024-09-11 MĂźnchen => Projektant/Expert PHP Laravel (e-commerce) <=
- 2024-09-11 Warszawa => Key Account Manager (Usługi HR) <=
- 2024-09-11 Wrocław => Key Account Manager <=
- 2024-09-11 Warszawa => Specjalista ds. marketingu rekrutacyjnego <=
- 2024-09-11 Wrocław => Key Account Manager <=
- 2024-09-11 Mińsk Mazowiecki => Spedytor Międzynarodowy <=
- 2024-09-11 Białystok => Senior Developer React Native <=
- 2024-09-11 Kraków => Java Full Stack Developer (Angular/React) <=
- 2024-09-11 Warszawa => Spedytor międzynarodowy <=
- 2024-09-11 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-09-11 Warszawa => SEO Specialist (15-20h tygodniowo) <=