ALG1
1.2. Jak to się niedawno odbyło, czyli. 21
1.2. Jak to się niedawno odbyło, czyli o tym kto „wymyślił” metodologię programowania
Zamieszczony w poprzednim paragrafie „kalendarz” został doprowadzony do momentu, w którym programiści zaczęli mieć do dyspozycji komputery z prawdziwego zdarzenia. Olbrzymi nacisk, jaki był kładziony na rozwój sprzętu, w istocie doprowadził do znakomitych rezultatów - efekt jest widoczny dzisiaj w każdym praktycznie biurze i w coraz większej ilości domów prywatnych.
W latach <50-tych zaczęto konstruować pierwsze naprawdę duże systemy informatyczne - w sensie ilości kodu, głównie asemblerowego, wyprodukowanego na poczet danej aplikacji. Ponieważ jednak programowanie było ciągle traktowane jako działalność polegająca głównie na intuicji i wyczuciu, zdarzały się całkiem poważne wpadki w konstrukcji oprogramowania: albo były tworzone szybko systemy o małej wiarygodności albo też nakład pieniędzy włożonych w rozwój produktu znacznie przewyższał szacowane wydatki i stawiał pod znakiem zapytania sens podjętego przedsięwzięcia. Brak było zarówno metod, jak i narzędzi umożliwiających sprawdzanie poprawności programowania, powszechną metodą programowania było testowanie programu aż do momentu jego całkowitego „odpluskwienia”1. Zwróćmy jeszcze uwagę, że oba wspomniane czynniki: wiarygodność systemów i poziom nakładów są niezmiernie ważne w praktyce; informatyczny system bankowy musi albo działać stuprocentowo dobrze, albo nie powinien być w ogóle oddany do użytku! Z drugiej strony poziom nakładów przeznaczonych na rozwój oprogramowania nic powinien odbić się niekorzystnie na kondycji finansowej przedsiębiorstwa.
W pewnym momencie sytuacja stała się tak krytyczna, że zaczęto nawet mówić o kryzysie w rozwoju oprogramowania! W roku 1968 została nawet zwołana konferencja NATO (Garmisch, Niemcy) poświęcona na przedyskutowanie zaistniałej sytuacji. W rok później została utworzona w ramach IFIP (International Fedemtion for Information Processing) specjalna grupa robocza pracująca nad tzw. metodologią programowania.
Z historycznego punktu widzenia dyskusja na temat udowadniania poprawności algorytmów zaczęła się jednak od artykułu Johna McCarthy-ego “A basis for a mathematical theory of computation” gdzie padło zdanie: „w miejsce sprawdzania programów komputerowych metodą prób i błędów aż do momentu iclt całkowitego odpluskwienia, powinniśmy udowadniać, żc posiadają one pożądane własności”. Nazwiska ludzi, którzy zajmowali się teoretycznymi pracami na metodologii
Żargonowe określenie procesu usuwania błędów z programu.
Wyszukiwarka
Podobne podstrony:
1.2. Jak to się niedawno odbyło, czyli. 211.2. Jak to się niedawno odbyto, czyli o tym kto „wymyślił
74,75 WYCHOWANIE Wychowanie to praca z człowiekiem i nad człowiekiem z tym, kto znajduje się w stani
74,75 WYCHOWANIE Wychowanie to praca z człowiekiem i nad człowiekiem — z tym, kto znajduje się w sta
DYKTANDA Z UŚMIECHEM CZYLI JAK ZOSTAĆ MISTRZEM ORTOGRAFII 2 1 Nte bój się pokrzyu ąd vPok...ywy
ALG9 1.1. Jak to wcześniej bywało, czyli... 19 • jest skończony (wynik algorytmu musi zostać „kiedy
ALG1 5.6. Drzewa i ich reprezentacje 151 Jak łatwo zauważyć, w zależności od sposobu przechadzania
foto1 Jak wyjaśnia rysunek 34, przy położeniu środkowym (rys. 34a) nakłucia igły układają się symet
IMG67 (8) < ,TO*Vitv*t pw»w §1 urn* J 9m pracy na zapas, czyli gromadzenia (magazynowania) poka
11 zaś bronią się przed nimi, jak sądzę, zrażeni przykładem współpracy genetyki i genealogii w posi
OMNIBUS 5 1 Jak nazywa się zbiór programów umożliwiajgcy korzystanie z komputera oraz rozwiąz
70026 kok1 i nie poddawać się, jeżeli Masimo naprawdę mi się pr,. doba. Dodał też, że ponieważ Masi
11 zaś bronią się przed nimi, jak sądzę, zrażeni przykładem współpracy genetyki i genealogii w posi
więcej podobnych podstron