Hur man undviker programvaruproblem

Under denna digitala era måste du ha hört talas om jätten på sociala medier som Facebook och Twitter och e-handelsplattformar som Alibaba och Amazon. Dessa onlinewebbplatser förlitar sig på olika mjukvarupaket för sin funktion. Dessa program har helt uppriktigt förändrat vårt sätt att arbeta, tänka och leva.

Dessutom styrs många apparater som tidigare endast var mekaniska till sin natur av programvara. Exempelvis var termostater en gång elektromekaniska enheter. Men de förlitar sig nu starkt på programvara för drift.

Men programvarufel kan vara ganska problematiska, särskilt med vår ökade beroende av dem för dagliga aktiviteter. I själva verket har det faktiskt varit en hel del tillfällen där programvara har underskottat sitt avsedda syfte, vilket lett till obehagliga resultat.

, vi talar om fyra tillfällen där mjukvaruprestanda huvudsakligen har missat sitt märke och hur man undviker sådana programvaruproblem.

Läs också: 10 skäl till att du inte ska ha bråttom att köpa en iPhone X

1. US Multi-State 911 Outage

911 är en kritisk tjänst som gör det möjligt för individer att kontakta nödpersonal vid behov. Ibland kan kontakten med nödförsäljare via 911 bokstavligen göra skillnaden mellan liv och död.

Därför var det ganska katastrof då 911 samtal dirigerades 911 i sju stater i USA, inklusive Kalifornien, Florida, Minnesota, North Carolina, Pennsylvania, South Carolina och Washington.

Det här avbrottet orsakades av ett förebyggbart kodningsfel, som inträffade vid ett larmcentral i Colorado som ägs av Intrado.

2. Förankring av United Airlines 'Fleet

I juli 2015 tvingades United Airlines att markera hela flygplanet på grund av programvarufel. Detta påverkade mer än 4 900 flygningar globalt och lämnade många passagerare strandade på flygplatser och ganska uppenbart frustrerade.

Det hade förmodligen en ekonomisk inverkan också eftersom flygbolaget skulle ha behövt kompensera många passagerare för besväret. Det fanns antagligen också flera viktiga affärsmöten som bunglade på grund av grunden.

3. Toyota Camry Accelerator-pedalfel

I september 2007 reste Jean Bookout på Interstate Highway 69 i Oklahoma med passageraren Barbara Schwarz, när hon stötte på svårigheter med att kontrollera sin Toyota Camry.

Hon försökte lyfta fötterna från gasspjället men bilen fortsatte att accelerera. Bromspedalen kunde inte stoppa bilen och hon tvingades använda sin nödbroms.

Tyvärr skickade detta bilvård i en vall. Schwarz dog som ett resultat och Bookout var inlagd på sjukhus i fem månader på grund av kritiska skador.

Det spekulerades att olyckan inträffade på grund av flera kodningsbrister som ledde till krasch av en uppgift i Camrys CPU. Denna CPU skulle styra ett överordnat stort antal funktioner, inklusive tändning, gasreglage och farthållare.

Toyotas kod blev ett trassligt röra efter flera år med nya koder som staplades på gamla. Detta kallas vanligtvis "spagettikod".

Spaghettikoden är onödigt komplex och gör det nästan omöjligt att hitta fel. Dessutom hade Toyota brott mot flera säkerhetsregler i sin kodning. Det bör noteras att detta inte var ett isolerat fall av oavsiktlig acceleration i en Toyota.

Bookout olycka tog emellertid denna fråga upp i ljuset och framhöll Toyotas brister i deras programvaruprocess. Det konstaterades till och med att det fanns mer än 10 miljoner sätt för oönskad acceleration att inträffa, baserat på hur Toyotas kod var strukturerad.

Nest-termostatfel

Nest är ett företag som ägs av Alphabet som tillverkar smarta termostater. Dessa termostater är ganska snygga och gör det möjligt för användare att kontrollera temperaturen i sina hem från sina smartphones.

Förra vintern upplevde Nest-termostater ett fel i form av en felaktig programuppdatering, vilket fick batterierna att tömmas. Tyvärr inträffade detta fel mitt på vintern och lämnade flera användare utan värme tillfälligt. Detta är definitivt något du inte vill hända under denna tid på året.

Se nästa: Selfies är inte så triviala som sociala medier har gjort dem för sent

En kort analys av programvaruproblem

Tillvägagångssätt som modellbaserad design och TLA + gör det möjligt för utvecklare att få en större bildöversikt över hur deras programvara fungerar.

Brett Victor, en framstående datorforskare, räknar med att det finns en koppling mellan programmerare och de problem de försöker lösa med koder.

På grund av denna koppling blir det svårt för programmerare att föreställa sig vad de försöker sätta i koder. Victor tycker att detta är en av de bidragande faktorerna till att programvara är full av buggar.

Men det finns hopp. Tillvägagångssätt som modellbaserad design och TLA + gör det möjligt för utvecklare att få en större bildöversikt över hur deras programvara fungerar.

Modellbaserad design, som namnet antyder, tillåter utveckling av programvara via visuella modeller. TLA +, som står kort för Temporal Logic of Actions, är ett språk som är utformat för att skriva specifikationerna för ett datorprogram. Det som är bra med TLA + är att det tillåter uttömmande tester och verifiering av programvara innan den publiceras.

Både modellbaserad design och TLA + har redan bevisat sitt salt. Esterel-teknologier, ett mjukvaruutvecklingsföretag, använder modellbaserad design för att bygga säkerhetskritisk programvara medan TLA + har använts av Microsoft som för att fixa ett eventuellt katastrofalt Xbox-fel, och av European Space Agency för att skriva om koder för en sond som landade på en komet.

Processen att skriva kod hålls högt uppskattad av programmerare. Många av dem är helt enkelt fascinerade av processen att skriva koder. Det är därför en utmaning att få vissa programmerare att acceptera strategier som modellbaserad design och TLA +. Dessa tillvägagångssätt uppfattas ofta som strikt akademiska utan verklig livskraft. Men en synförändring måste komma så tidigt som möjligt.

Läs också: Vi driver våra barn mot blindhet

Slutgiltiga tankar

Programvara används alltmer i applikationer som kräver inbyggda säkerhetsåtgärder. Bättre metoder för att designa programvara måste introduceras över hela linjen eftersom sådana applikationer är avgörande i våra liv.

Processer som automatisering förlitar sig mycket på programvara i dag, men ett fel i en kodrad kan leda oss till stora bakslag som ovanstående instanser visar.

Föreställ dig nu något som artificiell intelligens (AI) som införlivas i dessa applikationer. AI är tillräckligt skrämmande på egen hand utan programvarufel. Lägg till buggar i blandningen och det finns inget som säger vad som kan hända.

Men det finns ett silverfoder här. Med lite arbete och några nya verktyg kan vi göra bättre mjukvara och AI genom att designa det mer sundt och testa det till dess dubbar.

Låt oss hoppas att denna kritiska fråga tas på allvar av berörda myndigheter så att vi kan använda programvara till dess fulla potential men bara för att bygga en säkrare och smartare framtid.

Se Nästa: Artificiell intelligens: Typer och framtiden som det håller för människor