Hogyan kerüljük el a szoftverproblémákat

Ebben a digitális korban hallott már a szociális média óriásokról, például a Facebookról és a Twitterről, valamint az e-kereskedelmi platformokról, mint például az Alibaba és az Amazon. Ezek az online webhelyek működésükhöz különféle szoftvercsomagokra támaszkodnak. Ezek a programok őszintén szólva megváltoztatták a munka, a gondolkodás és az életmódját.

Ezen túlmenően sok olyan eszköz, amely korábban kizárólag mechanikus jellegű volt, ma szoftverrel vezérelhető. Például a termosztátok egykor elektromechanikus eszközök voltak. Most azonban nagymértékben támaszkodnak a szoftverre a működéshez.

Ugyanakkor a szoftverhibák meglehetősen problematikusak lehetnek, különös tekintettel a napi tevékenységek iránti növekvő támaszkodásukra. Valójában jó néhány olyan alkalom van, amikor a szoftver elmulasztotta a rendeltetését, ami kellemetlen eredményekhez vezet.

, négy olyan alkalomról beszélünk, amikor a szoftver teljesítménye jelentősen elmulasztotta a jelét, és hogyan lehet elkerülni az ilyen szoftverproblémákat.

Olvassa el még: 10 ok, amiért ne siess iPhone X vásárlására

1. Az USA 911 államának többszörös kiesése

A 911 kritikus szolgáltatás, amely lehetővé teszi az egyéneknek, hogy szükség esetén kapcsolatba lépjenek a sürgősségi személyzettel. Időnként a 911-es telefonos kapcsolatfelvétel a szó szoros értelmében megkülönböztetheti az életet és a halált.

Ezért egészen a katasztrófa volt, amikor 2014. április 9-én a 911 hívásátirányítás sikertelen volt az Egyesült Államok hét államában, köztük Kaliforniában, Floridában, Minnesotában, Észak-Karolinában, Pennsylvaniában, Dél-Karolinában és Washingtonban.

Ezt a leállást egy megelőzhető kódolási hiba okozta, amely a Colorado-i sürgősségi híváskezelő központban történt, amely az Intrado tulajdonában volt.

2. A United Airlines flotta földelése

2015 júliusában az United Airlines egy szoftverhiba miatt kénytelen volt leszállítani a teljes repülőgép-flottáját. Ez világszerte több mint 4900 járatot érintett, és sok utas maradt a repülőtereken, és nyilvánvalóan csalódott volt.

Valószínűleg gazdasági hatással is volt, mivel a légitársaságnak sok utasnak kellett volna kompenzálnia a kellemetlenségeket. Valószínűleg számos fontos üzleti találkozó is zajlott a földelés miatt.

3. A Toyota Camry gázpedál hibája

2007 szeptemberében Jean Bookout az Oklahoma Interstate Highway 69-es autópályán utazott Barbara Schwarz utas mellett, amikor nehézségekbe ütközött a Toyota Camry irányításával.

Megpróbálta levenni a lábát a fojtószelepről, de az autó tovább gyorsult. A fékpedál nem tudta megállítani az autót, és kénytelen volt használni vészfékjét.

Sajnos ez az autó gondozását egy töltésbe küldte. Ennek eredményeként Schwarz meghalt, és Bookout kritikus sérülések miatt öt hónapra kórházba szállították.

Arra gondoltak, hogy a baleset több olyan kódolási hiányosság miatt történt, amelyek egy feladat összeomlásához vezettek a Camry CPU-ban. Ez a CPU rendkívül sok funkciót vezérelne, beleértve a gyújtást, a fojtószelep vezérlést és a sebességtartó automatikát.

A Toyota kódja összezavarodott lett, miután a régi kódokra több évre felhalmozódtak. Ezt általában spagetti kódnak nevezik.

A spagetti kód szükségtelenül bonyolult, és szinte lehetetlenné teszi a hibák megtalálását. Ezenkívül a Toyota több biztonsági szabályt is megsértett kódolásuk során. Meg kell jegyezni, hogy ez nem volt a Toyota nem kívánt gyorsulásának egyedüli esete.

A Bookout balesete azonban ezt a kérdést a napvilágra hozta, és rámutatott a Toyota szoftveres folyamatának hibáira. Még azt is kiderült, hogy a Toyota kódjának felépítése alapján több mint 10 millió módon létezik a nem kívánt gyorsulás.

Nest termosztát meghibásodása

A Nest az Alphabet tulajdonában álló vállalat, amely intelligens termosztátokat készít. Ezek a termosztátok elég divatosak, és lehetővé teszik a felhasználók számára, hogy okostelefonjuk segítségével az otthonuk hőmérsékletét szabályozhassák.

Tavaly télen a Nest termosztátok hibás szoftverfrissítést tapasztaltak, ami miatt az akkumulátorok lemerültek. Sajnos ez a hiba tél közepén történt, több felhasználót ideiglenesen hő nélkül hagyva. Ez határozottan valami olyasmi, amit nem akar megtörténni ebben az évszakban.

Lásd Következő: A Szelfik nem olyan triviálisak, mint a közösségi média későn

A szoftver problémák rövid elemzése

Az olyan megközelítések, mint a modell alapú tervezés és a TLA +, lehetővé teszik a fejlesztőknek, hogy nagyobb képet kapjanak a szoftver működéséről.

Brett Victor, kiemelkedő számítógépes kutató úgy gondolja, hogy a programozók és a kódokat megoldani próbáló problémák között nincs kapcsolat.

Ennek a leválasztásnak köszönhetően a programozók nehezen tudják elképzelni, mit tesznek a kódba. Victor szerint ez az egyik tényező a szoftverek hibáinak elterjedésében.

Van azonban remény. Az olyan megközelítések, mint a modell alapú tervezés és a TLA +, lehetővé teszik a fejlesztőknek, hogy nagyobb képet kapjanak a szoftver működéséről.

A modell alapú tervezés, ahogy a neve is sugallja, lehetővé teszi a szoftver fejlesztését vizuális modelleken keresztül. A TLA +, amely rövidítése a Műveletek Temporal Logic-jének, egy olyan nyelv, amelyet a számítógépes program specifikációinak írására terveztek. Ami a TLA + szempontjából remek, hogy lehetővé teszi a szoftver kimerítő tesztelését és ellenőrzését még a nyilvánosságra hozatal előtt.

Mind a modell alapú kialakítás, mind a TLA + már bebizonyította a sóját. Az Esterel technológiák, egy szoftverfejlesztő cég, modell-alapú tervezést alkalmaznak biztonsági szempontból kritikus szoftverek készítéséhez, míg a TLA + -ot a Microsoft kedvelte az esetleges katasztrofális Xbox hibajavításhoz, az Európai Űrügynökség pedig egy olyan szonda kódjainak átírásához, amely üstökösre landolt.

A kódírás folyamatát a programozók nagyra becsülik. Sokan egészen egyszerűen érdekelnek a kódok írásának folyamatában. Ezért kihívás az, hogy néhány programozó elfogadjon olyan megközelítéseket, mint a modell alapú tervezés és a TLA +. Ezeket a megközelítéseket gyakran szigorúan tudományos szemléletűnek tekintik, valós életképességük nélkül. A nézetet azonban a lehető legkorábban meg kell változtatni.

Olvassa el még: A vakság felé toljuk gyermekeinket

Végső gondolatok

A szoftvert egyre inkább használják olyan alkalmazásokban, amelyek beépített biztonsági óvintézkedéseket igényelnek. A szoftverek tervezésének jobb módszereit be kell vezetni azáltal, hogy ezek az alkalmazások létfontosságúak az életünkben.

Az olyan folyamatok, mint az automatizálás manapság nagymértékben a szoftverekre támaszkodnak, de a kódsor egy hibája jelentős visszaesésekhez vezethet bennünket, amint a fenti példák is mutatják.

Most képzeljünk el valamit, például a mesterséges intelligenciát (AI), amelyet beépítenek ezekbe az alkalmazásokba. Az AI önmagában elég félelmetes szoftveres hibák nélkül. Adjon hozzá hibákat a keverékhez, és nincs szó arról, mi történhet.

Itt van azonban egy ezüst bélés. Egy kis munkával és néhány új eszközzel jobb szoftvert és AI-t készíthetünk, ha megalapozottabb megtervezésével és a csapszereinkhez teszteljük.

Reméljük, hogy az érintett hatóságok komolyan veszik ezt a kritikus kérdést, hogy a szoftvert teljes mértékben kihasználhassuk, de csak egy biztonságosabb és intelligensebb jövő építéséhez.

Lásd tovább: Mesterséges intelligencia: típusok és az emberek számára fenntartott jövő