eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingTo prawda?Re: To prawda?
  • Data: 2012-01-13 13:40:33
    Temat: Re: To prawda?
    Od: A.L. <l...@a...com> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    On Thu, 12 Jan 2012 22:44:35 +0100, n...@m...invalid wrote:

    >W dniu 12.01.2012 r. 18:08, M.M. pisze:
    >> Cytat z perełek oprogramowania, bez mojego komentarza:
    >>
    >> Większość ludzi sądzi, że mając w ręku przedstawiony opis, można napisać kod
    >> bez trudu. Mylą się jednak. Jedynym sposobem, byś się o tym Szanowny
    >> Czytelniku przekonał, jest odłożenie książki na bok i samodzielene napisanie
    >> programu. Spróbuj.
    >> Zadałem to ćwiczenie na wykładach dla zawodowych programistów. Mieli kilka
    >> godzin na zamianę powyższego opisu na program w języku, który sobie wybrali;
    >> wystarczał pseudo język wysokiego poziomu. Pod koniec określonego czasu prawie
    >> wszyscy zgłosili, że mają poprawnie zapisane procedury. Przeznaczyliśmy 30
    >> minut na sprawdzanie kodu, co programiści robili za pomocą zadanych testów.
    >> Wyniki osiągane w różnych grupach z ponad setką programistów, były mniej
    >> więcej takie same: dziewięciu na dziesięciu znalazło błędy w swych funkcjach
    >> (a nie zawsze byłem przekonany o poprawności kodu, w którym błędów nie wykryto).
    >> Byłem zdumiony: mimo dostatecznej ilości czasu, zaledwie 10% zawodowych
    >> programistów zdołało poprawnie zapisać ten niewielki programik. Nie tylko dla
    >> nich zadanie okazało się trudne: w części poświęconej historii, w p 6.2.1
    >> książki Sortowanie i wyszukiwanie Kunth podkreśla, że wprawdzie pierwszy
    >> algorytm wyszukiwania binarnego ukazał się drukiem w 1946r, ale na pierwszą
    >> jego publikację nie zawierającą błędów trzeba było czekać do 1962r"
    >>
    >> Pozdrawiam
    >Ciekawy głos. IMHO nazbyt często jest to ignorowane. Ludzie są
    >doskonałym automatem niedeterministycznym dysponującym pamięcią
    >asocjacyjną, wnioskowaniem logicznym i myśleniem abstrakcyjnym -- ale za
    >cenę, że popełniają błędy. To był m.in. motywator do tego, by rozwijać
    >w "pozytywistycznym okresie" AI programy do wnioskowania maszynowego,
    >dowodzenia teoremów, a dziś stoi za statyczną weryfikacją programów lub,
    >dajmy na to, projektowaniem deklaratywnym (aczkolwiek nie podam źródeł).
    >Skrajnie nieliczna grupa ludzi (wręcz sawantów) potrafi przeprowadzać
    >analizę warunków brzegowych i innych przez większość czasu zaangażowania
    >umysłowego.
    >Zresztą stanowi to jedną z podwalin OOP -- analityczne podejście do
    >rozwiązywania problemów. Jak wiadomo, obdarzone tendencją do redundancji.
    >Programiści powinni o tym nie zapominać.

    Dzieki za porcyjke belkotu

    A.L.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: