Yazılım sorunları nasıl önlenir

Bu dijital çağda, Facebook ve Twitter gibi sosyal medya devlerini ve Alibaba ve Amazon gibi e-ticaret platformlarını duymuş olmalısınız. Bu çevrimiçi web siteleri, işletmeleri için çeşitli yazılım paketlerine dayanmaktadır. Bu programlar açıkçası çalışma, düşünme ve yaşama biçimimizi değiştirdi.

Ayrıca, daha önce sadece doğada mekanik olan birçok cihaz şimdi yazılım tarafından kontrol ediliyor. Örneğin, termostatlar bir zamanlar elektromekanik cihazlardı. Ancak, şimdi işletim için yoğun olarak yazılıma güveniyorlar.

Ancak, yazılım hataları, özellikle günlük aktiviteler için onlara olan güvenimiz arttıkça oldukça sorunlu olabilir. Aslında, yazılımın amaçlanan amacından daha az düşerek, tatsız sonuçlara yol açtığı epeyce durumlar olmuştur.

Yazılım performansının damgasını vurduğu ve bu gibi yazılım sorunlarından nasıl kaçınılacağını 4 kez konuşuyoruz.

Ayrıca Okuyun: Bir iPhone X Almak için Acele Olmamanız Gereken 10 Neden

1. ABD Çok Devletli 911 Kesinti

911, bireylerin ihtiyaç duyulduğunda acil durum personeliyle iletişim kurmalarını sağlayan kritik bir hizmettir. Zaman zaman, acil durum görevlileri ile 911 aracılığıyla temasa geçmek, kelimenin tam anlamıyla yaşam ve ölüm arasında bir fark yaratabilir.

Bu nedenle, 9 Nisan 2014'te, 911 çağrı yönlendirme Kaliforniya, Florida, Minnesota, Kuzey Carolina, Pennsylvania, Güney Carolina ve Washington da dahil olmak üzere ABD'nin yedi eyaletinde başarısız olduğunda oldukça felaketti.

Bu kesinti, Colorado'daki Intrado'nun sahip olduğu bir acil çağrı yönetim merkezinde meydana gelen önlenebilir bir kodlama hatasından kaynaklandı.

2. United Airlines Filosunun Topraklanması

Temmuz 2015'te United Airlines, bir yazılım arızası nedeniyle tüm uçak filosunu topraklamak zorunda kaldı. Bu, dünya genelinde 4.900'den fazla uçuşu etkiledi ve birçok yolcu havaalanlarında mahsur kaldı ve açıkça hayal kırıklığına uğradı.

Havayolunun birçok yolcuyu rahatsızlıktan dolayı telafi etmesi gerekeceğinden, muhtemelen ekonomik bir etkisi de vardı. Muhtemelen, topraklama nedeniyle tıkanmış birkaç önemli iş toplantısı da vardı.

3. Toyota Camry Gaz Pedalı Arızası

Eylül 2007'de Jean Bookout, Toyota Camry'yi kontrol etmekte zorlandığında Oklahoma'daki Interstate Highway 69 ile yolcu Barbara Schwarz ile seyahat ediyordu.

Ayaklarını gazdan kaldırmaya çalıştı ama araba hızlanmaya devam etti. Fren pedalı aracı durduramadı ve acil durum frenini kullanması için zorlandı.

Ne yazık ki, bu otomobilin bir set haline gelmesini sağladı. Sonuçta Schwarz öldü ve kritik yaralanmalar nedeniyle Bookout beş ay hastaneye kaldırıldı.

Kazanın, Camry'nin işlemcisindeki bir işin çökmesine neden olan birkaç kodlama yetersizliği nedeniyle gerçekleştiği iddia edildi. Bu CPU, ateşleme, gaz kontrolü ve seyir kontrolü dahil olmak üzere çok sayıda işlevi kontrol eder.

Toyota'nın kodu, birkaç yıl önce yenileriyle kodlanan karışıklıktan sonra karışıklık yarattı. Buna genellikle 'spagetti kodu' denir.

Spagetti kodu gereksiz yere karmaşıktır ve hata bulmayı neredeyse imkansız hale getirir. Ayrıca, Toyota kodlamalarında bazı güvenlik kurallarını da ihlal etmişti. Bunun bir Toyota'da istenmeyen bir ivmelenmenin izole edilmiş bir durumu olmadığı unutulmamalıdır.

Ancak, Bookout'un kazası bu konuyu gün ışığına çıkardı ve Toyota'nın yazılım süreçlerindeki kusurlarını vurguladı. Toyota'nın kodunun yapılandırılma şekline bağlı olarak, istenmeyen hızlanmanın potansiyel olarak gerçekleşmesi için 10 milyondan fazla yol olduğu bile tespit edildi.

Yuva Termostatı Hatası

Nest, Alphabet'e ait, akıllı termostatlar yapan bir şirket. Bu termostatlar oldukça şık ve kullanıcıların evlerinde sıcaklıklarını akıllı telefonlarından kontrol etmelerini sağlıyor.

Geçtiğimiz kış, Nest termostatları hatalı bir yazılım güncellemesi şeklinde bir aksaklık yaşadı ve bu da pillerinin boşalmasına neden oldu. Ne yazık ki, bu hata kışın ortasında gerçekleşti ve geçici olarak ısınmadan birkaç kullanıcıyı terk etti. Bu kesinlikle yılın bu zamanında gerçekleşmesini istemediğiniz bir şey.

İleriye Bakın: Özçekimler Sosyal Medya Onları Geç Yaptığı Kadar Önemli Değildir

Yazılım Sorunlarının Kısa Bir Analizi

Model tabanlı tasarım ve TLA + gibi yaklaşımlar, geliştiricilerin, yazılımlarının nasıl çalıştığına dair daha büyük bir resim genel görünümü elde etmelerini sağlar.

Ünlü bir bilgisayar araştırmacısı olan Brett Victor, programcılar ile kodlarla çözmeye çalıştıkları sorunlar arasında bir kopukluk olduğunu düşünüyor.

Bu bağlantı kesilmesi nedeniyle, programcıların kodları koymayı denediklerini düşünmeleri zorlaşır. Victor, bunun yazılımın böceklerle dolu olmasına katkıda bulunan faktörlerden biri olduğunu düşünüyor.

Ancak, umut var. Model tabanlı tasarım ve TLA + gibi yaklaşımlar, geliştiricilerin, yazılımlarının nasıl çalıştığına dair daha büyük bir resim genel görünümü elde etmelerini sağlar.

Model tabanlı tasarım, adından da anlaşılacağı gibi, yazılımın görsel modeller aracılığıyla geliştirilmesine olanak tanıyor. Geçici Eylem Mantığı'nın kısaltması olan TLA +, bir bilgisayar programının özelliklerini yazmak için tasarlanmış bir dildir. TLA + ile ilgili harika olan şey, yayınlanmadan önce kapsamlı test ve yazılımların doğrulanmasına izin vermesidir.

Hem model tabanlı tasarım hem de TLA +, tuzlarını çoktan kanıtladı. Bir yazılım geliştirme firması olan Esterel teknolojileri güvenlik açısından kritik bir yazılım oluşturmak için model tabanlı tasarım kullanırken, TLA + olası bir felaketli Xbox hatasını düzeltmek için Microsoft'un beğenileriyle ve Avrupa Uzay Ajansı tarafından bir prob için kodları yeniden yazmak için kullanılıyordu. bir kuyruklu yıldıza indi.

Kod yazma işlemi, programcılar tarafından büyük saygı görüyor. Birçoğu basitçe kod yazma sürecinden etkilenir. Bu nedenle, bazı programcıların model tabanlı tasarım ve TLA + gibi yaklaşımları kabul etmelerini sağlamak çok zordur. Bu yaklaşımlar, çoğu zaman gerçek dünyaya uygun olmayan, kesinlikle akademik olarak algılanır. Ancak, görüş değişikliği mümkün olduğunca erken gelmelidir.

Ayrıca Okuyun: Çocuklarımızı Körlüğe Doğru Zorluyoruz

Son düşünceler

Yazılım, yerleşik güvenlik önlemleri gerektiren uygulamalarda giderek daha fazla kullanılmaktadır. Yazılım tasarımı konusunda daha iyi yöntemler kullanılmalıdır çünkü bu tür uygulamalar hayatımız için hayati öneme sahiptir.

Otomasyon gibi işlemler günümüzde yoğun bir şekilde yazılıma dayanmaktadır, ancak kod satırındaki bir hata, yukarıdaki örneklerin gösterdiği gibi bizi büyük gerilemelere götürebilir.

Şimdi, Yapay Zeka (AI) gibi bu uygulamalara dahil olan bir şey düşünün. AI, yazılım aksaklığı olmadan kendi başına yeterince korkutucu. Karışıma böcekler ekleyin ve neler olabileceğine dair hiçbir bilgi yok.

Ancak burada gümüş bir astar var. Küçük bir çalışma ve bazı yeni araçlar sayesinde, daha sağlıklı bir şekilde tasarlayarak ve saplamaları test ederek daha iyi yazılım ve AI yapabiliriz.

Umarız bu kritik mesele ilgili makamlarca ciddiye alınmaktadır, böylece yazılımı tüm potansiyeliyle kullanabilmemiz için, ancak daha güvenli ve daha akıllı bir gelecek oluşturmak için.

İleriye bakınız: Yapay Zeka: İnsanlar ve Sahip Olduğu Gelecek