Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.3.SłynneprzykładyaWariioprogramoWania
zywaniaobecnościawariiwtestowanymprogramie,otyledebugowaniejestprocesem
usuwaniadefektówbędącychźródłemtychawarii,czylinaprawywadliwegooprogramo-
wania.Debugowaniejestoddzielnądyscyplinąinżynieriioprogramowania.Efektywne
debugowaniejestzwyklebardzotrudne.Teoriadebugowaniamabardzowielewyspecja-
lizowanych,skomplikowanychnarzędzisłużącychdoszybkiejanalizykoduorazizolacji
miejscazawierającegousterkę(patrznp.[16]).
1.3.
Słynneprzykładyawariioprogramowania
Wtympodrozdzialeprzedstawimysłynneprzykładyawariioprogramowania.Niektó-
reśmieszne,innekosztowne,jeszczeinneniestetytragicznewskutkach.Każdy
znichstanowibardzopouczającąlekcjęmówiącąotym,jakważnejesttestowanieijak
poważneskutkiniesiezasobąjegobraklubniedbałewykonanie.Przykażdymprzy-
kładziezaznaczymy,jakietechnikitestowaniamogłybzastosowanetak,abyuniknąć
awarii.Technikitezostanąomówionedokładniewrozdziałach6–10.
DKrólLew”Disneya.W1994rokuDisneywydałnaświętaBożegoNarodzeniag
hKrólLew”napodstawielmuotymsamymtytule.Wowymczasiebtowielkihitki-
nowyiDisneyliczyłrównieżnadużezyskizesprzedażygry.Byłaonawydanawporozu-
mieniuzCompaqComputersjakopre-instalowanaaplikacjanalaptopachrmy.Dzień
poWigiliicentrumwsparciatechnicznegoDisneyazostałozasypanelawinątelefonów
odzdenerwowanychklientów.Graniechciałasuruchomićnakomputerachwięk-
szościklientów.Okazałosię,żeniezostałaprzetestowanananajbardziejpopularnych
konfiguracjachsprzętowych,czyliniezostaławystarczającoprzetestowanapodkątem
przenaszalności.Możnabyłoużyćtutakichtechnikjakdrzewaklasyfikacjiczytestowa-
niekombinacyjne,np.testowaniepar.Awariataspowodowałaznaczneszkodywizerun-
kowepopularnejwytwórni.
RakietaAriane5.4czerwca1996rokuEuropejskaAgencjaKosmicznawystrzeliła
rakietęAriane5.Po39sekundachlotuoprogramowanierakietyuruchomiłoprocedu-
samozniszczeniazewzględunaniespodziewanązmianętrajektoriilotu.Przyczyną
błędubyłakonwersjaliczby64-bitowejnaliczbę16-bitową[17],cospowodowałotzw.
błądoperandu.Konwertowanaliczbabyłazwiązanazwartościąprędkościhoryzontal-
nejiwpoprzedniejwersjirakiety,Ariane4,działałabezzarzutu.Niestety,wprzypadku
Ariane5,wartośćtejzmiennejmogłauzyskiwaćowielewyższewartościnaskutekin-
nejnwAriane4trajektoriilotu.Większośćinstrukcjibyłachronionaprzedbłędami
przekroczeniawartości,jednakwtymprzypadkutonienastąpiło.Powodytegofaktu
nieznane.Kosztcałejmisjito500milionówdolarów.Błądmożnabyłowykryć,stosując
statycznetechnikitestowania,takiejakprzeglądykoduoraztechnikidynamicznegote-
stowaniaopartegonaprofiluoperacyjnym(czylioczekiwanysposóbużyciaoprogramo-
waniaprzezużytkownika).
AwariasieciAT&T.15stycznia1990rokunastąpiławielkaawariasiecitelekomuni-
kacyjnejwStanachZjednoczonych.Odgodziny2:25wnocycentrumoperacyjneAT&T
wBedminsterzaczęłoodbieraćkomunikatyostrzegawczezróżnychczęścisieci.Awaria
7