Hoe softwareproblemen te voorkomen

In dit digitale tijdperk moet je wel eens gehoord hebben van reuzen van sociale media zoals Facebook en Twitter en e-commerceplatforms zoals Alibaba en Amazon. Deze online websites vertrouwen op verschillende softwarepakketten voor hun werking. Deze programma's hebben eerlijk gezegd de manier veranderd waarop we werken, denken en leven.

Trouwens, veel apparaten die voorheen uitsluitend mechanisch van aard waren, worden nu bestuurd door software. Thermostaten waren bijvoorbeeld ooit elektromechanische apparaten. Ze zijn nu echter sterk afhankelijk van software voor gebruik.

Software-bugs kunnen echter behoorlijk problematisch zijn, vooral met onze toegenomen afhankelijkheid ervan voor dagelijkse activiteiten. In feite zijn er nogal wat gelegenheden geweest waarbij software het beoogde doel niet heeft gehaald, wat tot onaangename resultaten heeft geleid.

, hebben we het over 4 gelegenheden waarbij de softwareprestaties zijn doel aanzienlijk hebben gemist en hoe dergelijke softwareproblemen kunnen worden voorkomen.

Lees ook: 10 redenen waarom je geen haast zou moeten maken om een ​​iPhone X te kopen

1. Uitval van de VS Multi-State 911

911 is een kritieke service waarmee personen contact kunnen opnemen met noodhulpverleners wanneer dat nodig is. Soms kan contact maken met de alarmcentrales via 911 letterlijk het verschil maken tussen leven en dood.

Daarom was het een ramp toen op 9 april 2014 911 oproeproutering mislukte in zeven staten van de VS, waaronder Californië, Florida, Minnesota, North Carolina, Pennsylvania, South Carolina en Washington.

Deze storing werd veroorzaakt door een te voorkomen codeerfout die zich voordeed in een noodoproepcentrum in Colorado dat eigendom was van Intrado.

2. Aarding van de vloot van United Airlines

In juli 2015 werd United Airlines door een softwareprobleem gedwongen zijn gehele vliegtuigvloot te aarden. Dit trof meer dan 4.900 vluchten wereldwijd en liet veel passagiers op luchthavens stranden en was duidelijk duidelijk gefrustreerd.

Er was waarschijnlijk ook een economische impact, omdat de luchtvaartmaatschappij veel passagiers had moeten compenseren voor het ongemak. Er waren waarschijnlijk ook verschillende belangrijke zakelijke bijeenkomsten die vanwege de aarding werden verstoord.

3. Toyota Camry gaspedaal defect

In september 2007 reisde Jean Bookout op Interstate Highway 69 in Oklahoma met passagier Barbara Schwarz, toen ze problemen had met het besturen van haar Toyota Camry.

Ze probeerde haar voeten van het gaspedaal te tillen, maar de auto bleef accelereren. Het rempedaal kon de auto niet stoppen en ze moest haar noodrem gebruiken.

Helaas stuurde dit de auto naar een dijk. Schwarz stierf als gevolg hiervan en Bookout werd vijf maanden in het ziekenhuis opgenomen vanwege kritieke verwondingen.

Er werd gespeculeerd dat het ongeval plaatsvond vanwege verschillende coderingsfouten die leidden tot de crash van een taak in de CPU van de Camry. Deze CPU zou een buitengewoon groot aantal functies besturen, waaronder ontsteking, gasregeling en cruisecontrol.

Toyota's code werd een warboel na enkele jaren van nieuwe codes die op oude werden gestapeld. Dit wordt meestal 'spaghetti-code' genoemd.

Spaghetti-code is onnodig complex en maakt het bijna onmogelijk om fouten te vinden. Bovendien had Toyota bij zijn codering ook verschillende veiligheidsregels overtreden. Opgemerkt moet worden dat dit geen op zichzelf staand geval was van onbedoelde versnelling in een Toyota.

Het ongeval van Bookout bracht dit probleem echter aan het licht en benadrukte de tekortkomingen van Toyota in hun softwareproces. Er werd zelfs vastgesteld dat er meer dan 10 miljoen manieren waren om ongewenste versnelling mogelijk te laten optreden, gebaseerd op de manier waarop de code van Toyota was gestructureerd.

Nest Thermostat Failure

Nest is een bedrijf van Alphabet en maakt slimme thermostaten. Deze thermostaten zijn heel handig en stellen gebruikers in staat om de temperatuur in hun huizen vanaf hun smartphones te regelen.

Afgelopen winter ondervonden Nest-thermostaten een storing in de vorm van een defecte software-update, waardoor hun batterijen leeg raakten. Helaas gebeurde deze fout midden in de winter, waardoor verschillende gebruikers tijdelijk geen warmte hadden. Dit is absoluut iets dat je niet wilt laten gebeuren in deze tijd van het jaar.

Zie verder: Selfies zijn niet zo triviaal als sociale media ze de laatste tijd hebben gemaakt

Een korte analyse van softwareproblemen

Met benaderingen zoals modelgebaseerd ontwerp en TLA + kunnen ontwikkelaars een groter beeld krijgen van de werking van hun software.

Brett Victor, een vooraanstaand computeronderzoeker, schat dat er een verband bestaat tussen programmeurs en de problemen die ze proberen op te lossen met codes.

Vanwege deze loskoppeling wordt het moeilijk voor programmeurs om zich voor te stellen wat ze in codes proberen op te nemen. Victor denkt dat dit een van de factoren is die bijdraagt ​​tot software die vol zit met bugs.

Er is echter hoop. Met benaderingen zoals modelgebaseerd ontwerp en TLA + kunnen ontwikkelaars een groter beeld krijgen van de werking van hun software.

Op modellen gebaseerd ontwerp, zoals de naam al doet vermoeden, maakt de ontwikkeling van software via visuele modellen mogelijk. TLA +, wat staat voor Temporal Logic of Actions, is een taal die is ontworpen voor het schrijven van de specificaties van een computerprogramma. Het mooie van TLA + is dat het uitgebreide testen en verificatie van software mogelijk maakt voordat het wordt gepubliceerd.

Zowel op modellen gebaseerd ontwerp als TLA + hebben hun zout al bewezen. Esterel Technologies, een softwareontwikkelingsbedrijf, gebruikt op modellen gebaseerd ontwerp om veiligheidskritieke software te bouwen, terwijl TLA + door Microsoft is gebruikt om een ​​mogelijke catastrofale Xbox-fout op te lossen en door de European Space Agency om codes te herschrijven voor een sonde die landde op een komeet.

Het schrijven van code wordt door programmeurs zeer gewaardeerd. Velen van hen zijn eenvoudigweg geïntrigeerd door het schrijven van codes. Het is daarom een ​​uitdaging om sommige programmeurs benaderingen zoals modelgebaseerd ontwerp en TLA + te laten accepteren. Deze benaderingen worden vaak gezien als strikt academisch zonder real-life levensvatbaarheid. Een verandering van mening moet echter zo vroeg mogelijk komen.

Lees ook: We duwen onze kinderen naar blindheid

Laatste gedachten

Software wordt steeds vaker gebruikt in applicaties die ingebouwde veiligheidsmaatregelen vereisen. Betere methoden voor het ontwerpen van software moeten overal worden geïntroduceerd, omdat dergelijke toepassingen van vitaal belang zijn in ons leven.

Processen zoals automatisering zijn tegenwoordig sterk afhankelijk van software, maar één fout in een coderegel kan ons tot grote tegenslagen leiden, zoals de bovenstaande voorbeelden laten zien.

Stel je nu eens voor dat iets als kunstmatige intelligentie (AI) in deze toepassingen wordt opgenomen. AI is op zichzelf al eng genoeg zonder softwareproblemen. Voeg bugs toe aan de mix en het is niet duidelijk wat er zou kunnen gebeuren.

Er is hier echter een zilveren voering. Met een beetje werk en wat nieuwe tools kunnen we betere software en AI maken door het beter te ontwerpen en te testen op zijn noppen.

Laten we hopen dat dit kritieke probleem serieus wordt genomen door de betrokken autoriteiten, zodat we de software volledig kunnen benutten, maar alleen om een ​​veiligere en slimmere toekomst op te bouwen.

Zie Volgende: Kunstmatige intelligentie: typen en de toekomst die het voor mensen in petto heeft