Paano maiwasan ang mga isyu sa software

Sa panahong ito ng digital, naririnig mo na ang tungkol sa mga higante ng social media tulad ng Facebook at Twitter at mga e-commerce platform tulad ng Alibaba at Amazon. Ang mga online website ay umaasa sa iba't ibang mga pakete ng software para sa kanilang operasyon. Ang mga programang ito ay ganap na nagbago sa paraan ng pagtatrabaho, pag-iisip at pamumuhay.

Bukod sa, maraming mga aparato na mas maaga ay tanging mekanikal sa likas na katangian, ngayon ay kinokontrol ng software. Halimbawa, ang mga thermostat ay dating mga electromekanikal na aparato. Gayunpaman, ngayon ay nakasalalay sila nang lubusan sa software para sa operasyon.

Gayunpaman, ang mga software ng bug ay maaaring medyo may problema, lalo na sa aming nadagdagan na pag-asa sa mga ito para sa pang-araw-araw na gawain. Sa katunayan, talagang mayroon nang ilang mga okasyon kung saan ang software ay nahulog sa kakayahang layunin nito, na humahantong sa mga hindi kasiya-siyang resulta.

, pinag-uusapan namin ang tungkol sa 4 na okasyon kung saan ang pagganap ng software ay pangunahing hindi nakuha ang marka nito at kung paano maiwasan ang mga naturang isyu sa software.

Basahin din: 10 Mga Dahilan na Hindi ka Dapat Magmamadaling Bumili ng isang iPhone X

1. US Maramihang Estado 911

Ang 911 ay isang kritikal na serbisyo, na nagpapahintulot sa mga indibidwal na makipag-ugnay sa mga tauhang pang-emergency kapag kinakailangan. Sa mga oras, ang pakikipag-ugnay sa mga emergency dispatcher sa pamamagitan ng 911 ay maaaring literal na magkakaiba sa pagitan ng buhay at kamatayan.

Samakatuwid, ito ay lubos na sakuna kapag noong Abril 9, 2014, 911 na call-routing ay nabigo sa pitong estado ng US, kabilang ang California, Florida, Minnesota, North Carolina, Pennsylvania, South Carolina, at Washington.

Ang pag-agos na ito ay sanhi ng isang maiiwasang error coding, na naganap sa isang emergency call management center sa Colorado na pagmamay-ari ni Intrado.

2. Grounding ng United Airlines 'Fleet

Noong Hulyo 2015, napilitang ibigay ng United Airlines ang buong armada ng sasakyang panghimpapawid dahil sa isang glitch ng software. Naapektuhan nito ang higit sa 4, 900 na flight sa buong mundo at iniwan ang maraming mga pasahero na stranded sa mga paliparan at medyo malinaw na nabigo.

Marahil ay may isang pang-ekonomiyang epekto pati na rin dahil ang eroplano ay may upang mabayaran ang maraming mga pasahero para sa abala. Marahil ay mayroon ding maraming mahahalagang pulong sa negosyo na napuno dahil sa saligan.

3. Toyota Camry Accelerator Pedal Malfunction

Noong Setyembre 2007, si Jean Bookout ay naglalakbay sa Interstate Highway 69 sa Oklahoma kasama ang pasahero na si Barbara Schwarz, nang mahirapan siyang makontrol ang kanyang Toyota Camry.

Tinangka niyang iangat ang kanyang mga paa mula sa throttle ngunit ang kotse ay patuloy na bumilis. Nabigo ang pedal ng preno na huminto sa sasakyan at napilitan siyang gumamit ng emergency preno.

Sa kasamaang palad, ipinadala nito ang pag-aalaga ng kotse sa isang embankment. Namatay si Schwarz bilang resulta at na-ospital sa loob ng limang buwan ang Bookout dahil sa mga kritikal na pinsala.

Ipinagpalagay na ang aksidente ay nangyari dahil sa maraming mga kakulangan sa pag-coding na humantong sa pag-crash ng isang gawain sa CPU ng Camry. Kontrolin ng CPU na ito ang isang napakalaking bilang ng mga pag-andar, kabilang ang pag-aapoy, kontrol ng throttle, at control cruise.

Ang code ng Toyota ay naging isang kusang gulo pagkatapos ng maraming taon ng mga bagong code na nakasalansan sa mga luma. Ito ay karaniwang tinutukoy bilang 'spaghetti code'.

Ang spaghetti code ay hindi kinakailangang kumplikado at ginagawang halos imposible upang makahanap ng mga pagkakamali. Bukod dito, lumabag din ang Toyota sa maraming mga panuntunan sa kaligtasan sa kanilang coding. Dapat pansinin na ito ay hindi isang nakahiwalay na kaso ng hindi sinasadyang pagbilis sa isang Toyota.

Gayunpaman, ang aksidente sa Bookout ay nagdala ng isyung ito sa ilaw at itinampok ang mga bahid ng Toyota sa kanilang proseso ng software. Natagpuan kahit na mayroong higit sa 10 milyong mga paraan para sa hindi ginustong pagbilis na potensyal na maganap, batay sa paraan ng istraktura ng Toyota.

Nabigo ang Nest Thermostat

Ang pug ay isang kumpanya, na pag-aari ng Alphabet, na gumagawa ng mga matalinong termostat. Ang mga thermostat na ito ay lubos na nakakatuwang at pinapayagan ang mga gumagamit na kontrolin ang temperatura sa kanilang mga tahanan mula sa kanilang mga smartphone.

Noong nakaraang taglamig, naranasan ng mga thermostat ang isang glitch sa form na isang pag-update ng software ng software, na naging sanhi ng pag-agos ng kanilang mga baterya. Sa kasamaang palad, ang error na ito ay nangyari sa gitna ng taglamig, na iniwan ang ilang mga gumagamit nang walang pansamantalang init. Ito ay tiyak na isang bagay na hindi mo nais mangyari sa oras na ito ng taon.

Tingnan ang Susunod: Ang Mga Selfies Ay Hindi Tulad ng Trivial Tulad ng Social Media Na Ginagawa Nila Ng Late

Isang Maikling Pagtatasa ng Mga Isyu ng Software

Ang mga pamamaraan tulad ng disenyo na batay sa modelo at TLA + ay nagbibigay-daan sa mga developer upang makakuha ng isang mas malaking pangkalahatang-ideya ng larawan kung paano gumagana ang kanilang software.

Si Brett Victor, isang kilalang mananaliksik ng computer, ay nagkukumpuni na mayroong isang koneksyon sa pagitan ng mga programmer at ang mga problema na sinusubukan nilang lutasin sa mga code.

Dahil sa disconnect na ito, nagiging mahirap para sa mga programmer na maisip kung ano ang sinusubukan nilang ilagay sa mga code. Sa palagay ni Victor, ito ay isa sa mga nag-aambag na mga kadahilanan sa software na naging rife sa mga bug.

Gayunpaman, may pag-asa. Ang mga pamamaraan tulad ng disenyo na batay sa modelo at TLA + ay nagbibigay-daan sa mga developer upang makakuha ng isang mas malaking pangkalahatang-ideya ng larawan kung paano gumagana ang kanilang software.

Ang disenyo ng batay sa modelo, tulad ng iminumungkahi ng pangalan, ay nagbibigay-daan sa pag-unlad ng software sa pamamagitan ng mga visual na modelo. Ang TLA +, na nakatayo para sa Temporal Logic of Actions, ay isang wika na idinisenyo para sa pagsulat ng mga pagtutukoy ng isang programa sa computer. Ano ang mahusay tungkol sa TLA + ay pinapayagan nito ang labis na pagsubok at pag-verify ng software bago ito mapubliko.

Ang parehong disenyo na batay sa modelo at TLA + ay napatunayan na ang kanilang asin. Ang mga teknolohiya ng Esterel, isang firm development ng software, ay gumagamit ng disenyo na batay sa modelo upang makabuo ng software na kritikal na pangkaligtasan habang ang TLA + ay ginamit ng mga kagustuhan ng Microsoft upang ayusin ang isang posibleng sakuna na error sa Xbox, at sa pamamagitan ng European Space Agency upang muling isulat ang mga code para sa isang pagsisiyasat na nakarating sa isang kometa.

Ang proseso ng pagsulat code ay gaganapin sa mataas na pagpapahalaga ng mga programmer. Marami sa kanila ang medyo nakakaintriga sa proseso ng pagsulat ng mga code. Samakatuwid, isang hamon na makakuha ng ilang mga programmer na tanggapin ang mga diskarte tulad ng disenyo na batay sa modelo at TLA +. Ang mga pamamaraang ito ay madalas na napapansin bilang mahigpit na pang-akademiko na walang potensyal na real-world. Gayunpaman, ang isang pagbabago ng pagtingin ay dapat na dumating nang maaga hangga't maaari.

Basahin din: Kami ay Itinulak ang Aming Mga Anak patungo sa Blindness

Pangwakas na Kaisipan

Ang software ay lalong ginagamit sa mga aplikasyon na nangangailangan ng pag-iingat sa built-in na kaligtasan. Ang mas mahusay na mga pamamaraan ng pagdidisenyo ng software ay dapat ipakilala sa buong board dahil ang mga aplikasyon ay mahalaga sa ating buhay.

Ang mga proseso tulad ng automation ay lubos na umaasa sa software sa mga araw na ito ngunit ang isang error sa isang linya ng code ay maaaring humantong sa amin sa mga pangunahing pag-setback tulad ng ipinakita sa itaas na mga pagkakataon.

Ngayon, isipin ang isang bagay tulad ng Artipisyal na Intelligence (AI) na isinama sa mga application na ito. AI ay nakakatakot na sapat sa sarili nitong walang mga glitches ng software. Magdagdag ng mga bug sa halo at walang nagsasabi kung ano ang maaaring mangyari.

Gayunpaman, mayroong isang lining na pilak dito. Sa pamamagitan ng isang maliit na trabaho at ilang mga bagong tool, maaari kaming gumawa ng mas mahusay na software at AI sa pamamagitan ng pagdidisenyo nito nang mas maayos at pagsubok ito sa mga studs.

Inaasahan nating ang kritikal na isyu na ito ay isinasaalang-alang ng mga nag-aalala na awtoridad upang magamit natin ang software sa buong potensyal nito ngunit upang makabuo lamang ng isang mas ligtas at mas matalinong hinaharap.

Tingnan ang Susunod: Artipisyal na Kaalaman: Mga Uri at Hinaharap na Ito ay Hawak para sa Tao