-
Data: 2012-03-28 08:53:36
Temat: Re: Certyfikacja, było: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Od: Tomasz Kaczanowski <kaczus@dowyciecia_poczta.onet.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu 2012-03-28 00:01, Andrzej Jarzabek pisze:
>> przez A.L. artykule, zaczynającym ten wątek, jakoś nikt nie odnosi się do
>> wypowiedzi żadnego software engineera, podczas gdy do wypowiedzi
>> electrical
>> engineera - tak. Jeśli omawiane w artykule zachowanie to jest to jakiś
>> błąd
>> w oprogramowaniu, to wynika on z nie-zauważenia jakichś szczegółów
>> związanych z elektryką, działaniem czujników,... a nie z programowaniem
>> samym w sobie.
>
> No więc inżynier oprogramowania nie musi się znać na elektryce i
> czujnikach, natomiast powinien się znać na zbieraniu wymagań. Również na
> takich rzeczach, jak np. stworzenie zestawu testów obejmujących jakieś
> przypadki brzegowe i zauważeniu, że np. specjalista od czujników
> opisujący, jak się ma zachowywać oprogramowanie w zależności od tego, co
> dostaje z czujników, zostawił pewną niewyspecyfikowaną plamę i podnieść
> temat do analizy przez domain experts ("a co jeśli ten czujnik mówi, że
> samochód przyspiesza, a tamten, że koła kręcą się coraz wolniej?").
Opisywałem podobny przypadek z rezystorem. W 90% przypadków podmiana
rezystora na podobny nie robi różnicy w działaniu, ale są przypadki, że
jednak ma to znaczenie. Wychodzi to dopiero przy testach - jeśli takowe
się przeprowadza, a czasem dopiero podczas eksploatacja, ponieważ przez
pierwszy okres czasu (w którym jest wykonywany test) wszystko działa
dobrze.
> Oczywiście nic nie wyeliminuje błędów powstałych z nieprawidłowej
> specyfikacji wymagań, ale porządnie zrobione zbieranie wymagań eliminuje
> jakąś, wydaje mi sie że dość znaczną, ich część.
Szczególnie, że oprogramowanie i sprzęt powstają zazwyczaj równolegle, a
specyfikacja sprzętu czasem ulega modyfikacji z różnych przyczyn....
> Dodatkowo część błędów w oprogramowaniu również wynika z błędó typowo
> programistycznych: błędnej logiki, race conditions, różnego rodzaju
> undefined behaviour i tak dalej.
W oprogramowaniu dla ludzi tak, w oprogramowaniu specjalistycznym -
raczej mało prawdopodobne, co nie znaczy, że zdarzyć się nie może.
> I jeszcze raz apiać: celem certyfikacji nie jest spowodowanie, że awarii
> spowodowanych błędami w oprogramowaniu nie będzie w ogóle, tylko że
> będzie ich mniej. Wydaje się sensownym założeniem, że jeśli się będzie
> lepiej zbierać i analizować wymagania, i będzie się popełniać mniej
> błędóww programistycznych, to ogólnie błędów będzie mniej.
Nie potrafisz pokazać, że błędów będzie mniej. Stawiasz jedynie tezę, ja
stawiam więc tezę inną - nie będzie mniej.
> Czy
> certyfikacja to da, i jeśli da, to czy zmniejszenie ilości awarii będzie
> na tyle istotne, że będzie to warto zrobić, to moim zdaniem warto zbadać
> sprawę.
To zbadaj - za swoje pieniądze....
--
Kaczus
http://kaczus.republika.pl
Następne wpisy z tego wątku
- 28.03.12 10:34 Paweł Kierski
- 28.03.12 11:25 zażółcony
- 02.04.12 11:12 zażółcony
- 02.04.12 17:35 t.o.
- 28.03.12 17:57 Andrzej Jarzabek
- 02.04.12 12:08 Roman W
- 03.04.12 08:02 Paweł Kierski
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-11-08 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-08 Warszawa => Key Account Manager <=
- 2024-11-08 Szczecin => Key Account Manager (ERP) <=
- 2024-11-08 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-11-08 Wrocław => Senior PHP Symfony Developer <=
- 2024-11-08 Warszawa => QA Engineer <=
- 2024-11-08 Warszawa => QA Inżynier <=
- 2024-11-08 Warszawa => Key Account Manager <=
- 2024-11-08 Gdańsk => Software .Net Developer <=
- 2024-11-08 Akumulator Hyundai
- 2024-11-08 Warszawa => Manager/Specialist e-commerce (B2C) <=
- 2024-11-08 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-08 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-11-08 znaj podstawe
- 2024-11-08 Chrzanów => Specjalista ds. public relations <=