Ohjelmisto-ongelmien välttäminen

Tällä digitaaliaikakaudella sinun on täytynyt olla kuullut sosiaalisen median jättiläisistä, kuten Facebookista ja Twitteristä, sekä sähköisen kaupan alustoista, kuten Alibaba ja Amazon. Nämä online-verkkosivustot luottavat toimintaansa eri ohjelmistopaketeihin. Nämä ohjelmat ovat täysin rehellisesti muuttaneet tapaamme työskennellä, ajatella ja elää.

Lisäksi monia laitteita, jotka aikaisemmin olivat luonteeltaan yksinomaan mekaanisia, hallitaan nyt ohjelmistoilla. Esimerkiksi termostaatit olivat kerran sähkömekaanisia laitteita. Nyt he kuitenkin luottavat toimintaansa suuresti ohjelmistoihin.

Ohjelmistovirheet voivat kuitenkin olla melko ongelmallisia, etenkin kun lisäämme niiden luottamista päivittäiseen toimintaan. Itse asiassa on ollut varsin harvoin tilanteita, joissa ohjelmisto on menettänyt suunnitelmansa, mikä johtaa epämiellyttäviin tuloksiin.

, puhumme 4 tapauksesta, joissa ohjelmistojen suorituskyky on jäänyt huomattavasti huomiotta ja kuinka vältetään tällaiset ohjelmisto-ongelmat.

Lue myös: 10 syytä, joiden vuoksi sinun ei pitäisi kiirehtiä ostamaan iPhone X

1. Yhdysvaltojen monitila 911 -katkos

911 on kriittinen palvelu, jonka avulla ihmiset voivat ottaa yhteyttä hätähenkilökuntaan tarvittaessa. Joskus yhteydenotto hätäpäivittäjiin 911: n kautta voi tehdä kirjaimellisesti eron elämän ja kuoleman välillä.

Siksi se oli melko katastrofi, kun 9.4.2014 911-puhelun reititys epäonnistui Yhdysvaltojen seitsemässä osavaltiossa, mukaan lukien Kalifornia, Florida, Minnesota, Pohjois-Carolina, Pennsylvania, Etelä-Carolina ja Washington.

Tämän seisokin aiheutti vältettävissä oleva koodausvirhe, joka tapahtui Intradon omistamassa Coloradon hätäpuhelujen hallintakeskuksessa.

2. United Airlines -laivaston lentokielto

Heinäkuussa 2015 United Airlines pakotettiin laskemaan koko lentokonekantaansa ohjelmiston häiriön takia. Tämä koski yli 4 900 lentoa maailmanlaajuisesti, ja se jätti monet matkustajat luukulle lentokentillä ja ilmeisen turhautuneena.

Siellä oli todennäköisesti myös taloudellisia vaikutuksia, koska lentoyhtiön olisi pitänyt korvata monille matkustajille aiheutuvat haitat. Siellä oli todennäköisesti myös useita tärkeitä liikekokouksia, joita rynnättiin maadoituksen takia.

3. Toyota Camry-kaasupolkimen toimintahäiriö

Syyskuussa 2007 Jean Bookout matkusti Interstate Highway 69: llä Oklahomassa matkustajan Barbara Schwarzin kanssa, kun hän joutui vaikeuksiin hallita Toyota Camrya.

Hän yritti nostaa jalat pois kaasulipusta, mutta auto jatkoi kiihtymistä. Jarrupoljin ei onnistunut pysäyttämään autoa ja hänet pakotettiin käyttämään hätäjarruaan.

Valitettavasti tämä lähetti auton hoitamaan penkereen. Schwarz kuoli seurauksena ja Bookout oli sairaalahoidossa viideksi kuukaudeksi kriittisten vammojen vuoksi.

Arveltiin, että onnettomuus tapahtui useiden koodausvirheiden takia, jotka johtivat tehtävän kaatumiseen Camry-prosessorissa. Tämä suoritin hallitsisi kohtuuttoman suurta määrää toimintoja, mukaan lukien sytytys, kaasuläppä ja vakionopeussäädin.

Toyota-koodista tuli sotkuinen sotku sen jälkeen, kun useita vuosia uusia vanhoja koodeja oli pakattu vanhoihin. Tätä kutsutaan yleensä 'spagetti-koodiksi'.

Spagetti-koodi on tarpeettoman monimutkainen ja tekee virheiden löytämisestä lähes mahdotonta. Lisäksi Toyota oli rikkonut myös useita turvallisuussääntöjä koodauksessaan. On huomattava, että tämä ei ollut yksittäinen tapaus tahattomasta kiihtyvyydestä Toyotassa.

Bookoutin onnettomuus kuitenkin toi tämän asian esille ja toi esiin Toyota-ohjelmistoprosessien puutteet. Todettiin jopa, että yli 10 miljoonaa tapaa toivotun kiihtyvyyden mahdolliselle esiintymiselle perustuu Toyota-koodin rakenteeseen.

Nest-termostaatin vika

Nest on Aakkosen omistama yritys, joka valmistaa älykkäitä termostaatteja. Nämä termostaatit ovat melko näppärät ja antavat käyttäjille mahdollisuuden säätää kotiensa lämpötilaa älypuhelimistaan.

Viime talvena Nest-termostaatit kokivat virheellisen ohjelmistopäivityksen muodossa häiriön, joka aiheutti paristojen tyhjentymisen. Valitettavasti tämä virhe tapahtui keskellä talvea, jolloin useat käyttäjät olivat lämmittämättä väliaikaisesti. Tämä on ehdottomasti jotain mitä et halua tapahtua tällä vuodenaikana.

Katso seuraava: Selfiet eivät ole niin vähäpätöisiä kuin sosiaalinen media on tehnyt niistä myöhään

Lyhyt analyysi ohjelmisto-ongelmista

Lähestymistapojen, kuten mallipohjaisen suunnittelun ja TLA +: n, avulla kehittäjät saavat suuremman kuvan yleiskuvan heidän ohjelmistonsa toiminnasta.

Tunnettu tietotekniikan tutkija Brett Victor arvioi, että ohjelmoijien ja niiden ongelmien välillä, joita he yrittävät ratkaista koodeilla, on yhteys toisiinsa.

Tämän katkaisun vuoksi ohjelmoijien on vaikea kuvitella, mitä he yrittävät laittaa koodeihin. Victorin mielestä tämä on yksi tekijä ohjelmistojen leviämiseen virheillä.

On kuitenkin toivoa. Lähestymistapojen, kuten mallipohjaisen suunnittelun ja TLA +: n, avulla kehittäjät saavat suuremman kuvan yleiskuvan heidän ohjelmistonsa toiminnasta.

Malliperustainen suunnittelu, kuten nimestä voi päätellä, mahdollistaa ohjelmiston kehittämisen visuaalisten mallien avulla. TLA +, lyhenne sanoista Temporal Logic of Actions, on kieli, joka on suunniteltu tietokoneohjelman määritysten kirjoittamiseen. TLA +: ssa on hienoa, että se sallii ohjelmien kattavan testauksen ja todentamisen ennen niiden julkistamista.

Sekä mallipohjainen suunnittelu että TLA + ovat jo todistaneet suolansa. Ohjelmistokehitysyritys Esterel Technology käyttää mallipohjaista suunnittelua turvallisuuskriittisten ohjelmistojen luomiseen, kun taas Microsoftin tapaiset ovat käyttäneet TLA +: ta mahdollisen katastrofaalisen Xbox-virheen korjaamiseen ja Euroopan avaruusjärjestö kirjoittaa koodit koettimelle, joka laskeutui komeetalle.

Ohjelmoijat pitävät koodin kirjoittamista suuressa arvossa. Monet heistä ovat yksinkertaisesti kiinnostuneita koodien kirjoittamisprosessista. Siksi on haaste saada jotkut ohjelmoijat hyväksymään lähestymistapoja, kuten mallipohjainen suunnittelu ja TLA +. Näitä lähestymistapoja pidetään usein tiukasti akateemisina, joilla ei ole todellisen elinkelpoisuutta. Näkemyksen muutoksen on kuitenkin tapahduttava mahdollisimman varhain.

Lue myös: Me ajamme lapsiamme kohti sokeutta

Lopulliset ajatukset

Ohjelmistoja käytetään yhä enemmän sovelluksissa, jotka vaativat sisäänrakennettuja turvatoimenpiteitä. Parempia ohjelmistojen suunnittelumenetelmiä on otettava käyttöön kaikkialla, koska tällaiset sovellukset ovat elintärkeitä elämässämme.

Automaation kaltaiset prosessit luottavat nykyään suuresti ohjelmistoihin, mutta yksi virhe koodirivissä voi johtaa meihin suuriin takaiskuihin, kuten yllä olevat tapaukset osoittavat.

Kuvittele nyt jotain keinotekoista älykkyyttä (AI) sisällyttämistä näihin sovelluksiin. AI on pelottava yksinään ilman ohjelmistohäiriöitä. Lisää vikoja sekoitukseen, eikä mitään kerrota mitä voi tapahtua.

Täällä on kuitenkin hopeinen vuori. Pienellä työllä ja joillakin uusilla työkaluilla voimme tehdä parempia ohjelmistoja ja integroituja piirteitä suunnittelemalla ne järkevämmälle ja testaamalla ne kiinnittimilleen.

Toivotaan, että asianomaiset viranomaiset ottavat tämän kriittisen kysymyksen vakavasti, jotta voimme käyttää ohjelmistoja täysimääräisesti, mutta vain rakentaaksemme turvallisemman ja älykkäämmän tulevaisuuden.

Katso seuraava: tekoäly: tyypit ja tulevaisuus, jota se pitää ihmisillä