Bagaimana untuk mengelakkan isu perisian

Dalam era digital ini, anda mesti pernah mendengar tentang gergasi media sosial seperti Facebook dan Twitter dan platform e-dagang seperti Alibaba dan Amazon. Laman web dalam talian ini bergantung kepada pelbagai pakej perisian untuk operasi mereka. Program-program ini secara terang-terangan telah mengubah cara kita bekerja, berfikir dan hidup.

Selain itu, banyak peranti yang sebelum ini bersifat semata-mata mekanikal, kini dikawal oleh perisian. Sebagai contoh, termostat pernah menjadi peranti elektromekanik. Walau bagaimanapun, mereka kini sangat bergantung pada perisian untuk operasi.

Walau bagaimanapun, bug perisian boleh menjadi agak bermasalah, terutamanya dengan peningkatan pergantungan kami kepada mereka untuk aktiviti harian. Sebenarnya, terdapat beberapa keadaan di mana perisian telah jatuh pada tujuannya, menyebabkan keputusan yang tidak menyenangkan.

, kita bercakap tentang 4 kali di mana prestasi perisian telah banyak merindui tanda dan bagaimana untuk mengelakkan masalah perisian tersebut.

Juga Baca: 10 Sebab Anda Tidak Harus Diburu untuk Beli iPhone X

1. Pelepasan 911 Multi-Negeri AS

911 adalah perkhidmatan kritikal, yang membolehkan individu untuk menghubungi kakitangan kecemasan apabila diperlukan. Kadang-kadang, berhubung dengan penghantar kecemasan melalui 911 secara harfiah boleh membuat perbezaan antara kehidupan dan kematian.

Oleh itu, ia adalah bencana apabila pada 9 April 2014, 911 panggilan laluan gagal di tujuh negeri AS, termasuk California, Florida, Minnesota, North Carolina, Pennsylvania, South Carolina, dan Washington.

Kegagalan ini disebabkan oleh ralat pengekodan yang boleh dicegah, yang berlaku di pusat pengurusan panggilan kecemasan di Colorado yang dimiliki oleh Intrado.

2. Pembukaan Armada United Airlines

Pada bulan Julai 2015, United Airlines terpaksa mendarat seluruh pesawat kerana masalah perisian. Ini menjejaskan lebih daripada 4, 900 penerbangan di seluruh dunia dan menyebabkan ramai penumpang terkandas di lapangan terbang dan agak kecewa.

Mungkin ada kesan ekonomi juga kerana syarikat penerbangan itu terpaksa membayar pampasan kepada ramai penumpang kerana kesulitan itu. Terdapat juga beberapa mesyuarat perniagaan yang penting yang timbul kerana pembentangan.

3. Toyota Camry Accelerator Pedal Malfunction

Pada September 2007, Jean Bookout telah melakukan perjalanan di Lebuhraya Interstate 69 di Oklahoma dengan penumpang Barbara Schwarz, ketika dia menghadapi kesukaran mengendalikan Toyota Camrynya.

Dia cuba mengangkat kakinya dari pendikit tetapi kereta terus mempercepatkan. Pedal brek gagal menghentikan kereta dan dia terpaksa menggunakan brek kecemasan.

Malangnya, ini menghantar kereta ke sebuah tambak. Schwarz meninggal sebagai akibat dan Bookout dimasukkan ke hospital selama lima bulan akibat kecederaan kritikal.

Ia spekulasi bahawa kemalangan itu berlaku disebabkan oleh beberapa kekurangan pengekodan yang menyebabkan kemalangan tugas dalam CPU Camry. CPU ini akan mengawal sejumlah fungsi yang sangat besar, termasuk pencucuhan, kawalan throttle, dan kawalan pelayaran.

Kod Toyota menjadi huru-hara kusut selepas beberapa tahun kod baru ditumpuk pada lama. Ini biasanya dirujuk sebagai 'kod spaghetti'.

Kod spaghetti tidak perlu kompleks dan menjadikannya hampir mustahil untuk mencari kesilapan. Selain itu, Toyota juga telah melanggar beberapa peraturan keselamatan dalam pengekodan mereka. Harus diingat bahawa ini bukan satu kes terpencil daripada percepatan yang tidak diinginkan di Toyota.

Walau bagaimanapun, kemalangan Bookout membawa isu ini ke dalam cahaya dan menyerlahkan kelemahan Toyota dalam proses perisian mereka. Ia juga mendapati bahawa terdapat lebih daripada 10 juta cara untuk pecutan yang tidak diingini berpotensi berlaku, berdasarkan cara kod Toyota tersusun.

Kegagalan Nest Thermostat

Nest adalah sebuah syarikat yang dimiliki oleh Alphabet, yang menjadikan termostat pintar. Termostat ini agak bagus dan membolehkan pengguna mengawal suhu di rumah mereka dari telefon pintar mereka.

Musim sejuk lepas, termostat sarang mengalami gangguan dalam bentuk pembaruan perisian rosak, yang mengakibatkan bateri mereka hancur. Malangnya, ralat ini berlaku pada pertengahan musim sejuk, meninggalkan beberapa pengguna tanpa haba buat sementara waktu. Ini pasti sesuatu yang anda tidak mahu berlaku pada masa ini tahun ini.

Lihat Seterusnya: Selfies Tidak Sebenarnya Sebagaimana Media Sosial Telah Membuat Mereka Akhirnya

Analisis Ringkas Masalah Perisian

Pendekatan seperti reka bentuk berasaskan model dan TLA + membolehkan pemaju mendapatkan gambaran keseluruhan gambaran mengenai bagaimana perisian mereka berfungsi.

Brett Victor, seorang penyelidik komputer terkemuka, menganggap bahawa terdapat sambungan antara pemrogram dan masalah yang mereka cuba selesaikan dengan kod.

Disebabkan sambungan ini, ia menjadi sukar bagi pengaturcara untuk membayangkan apa yang mereka cuba masukkan dalam kod. Victor berpendapat ini adalah salah satu faktor penyumbang kepada perisian yang penuh dengan pepijat.

Walau bagaimanapun, terdapat harapan. Pendekatan seperti reka bentuk berasaskan model dan TLA + membolehkan pemaju mendapatkan gambaran keseluruhan gambaran mengenai bagaimana perisian mereka berfungsi.

Reka bentuk berasaskan model, seperti namanya, membolehkan pembangunan perisian melalui model visual. TLA +, yang tidak sesuai untuk Temporal Logic of Actions, adalah bahasa yang direka untuk menulis spesifikasi program komputer. Apa yang hebat tentang TLA + ialah ia membenarkan pengujian dan pengesahan perisian yang lengkap sebelum dipublikasikan.

Kedua-dua reka bentuk berasaskan model dan TLA + telah membuktikan garam mereka. Teknologi Esterel, sebuah firma pembangunan perisian, menggunakan reka bentuk berasaskan model untuk membina perisian keselamatan kritikal sementara TLA + telah digunakan oleh orang-orang seperti Microsoft untuk memperbaiki kesilapan Xbox catastrophic, dan oleh Agensi Angkasa Eropah untuk menulis semula kod untuk penyelidikan yang mendarat di atas komet.

Proses penulisan kod ini dipertahankan dengan harga tinggi oleh pengaturcara. Ramai daripada mereka agak tertarik dengan proses menulis kod. Oleh itu, adalah suatu cabaran untuk mendapatkan beberapa pengaturcara untuk menerima pendekatan seperti reka bentuk berasaskan model dan TLA +. Pendekatan ini sering dilihat sebagai akademik yang ketat tanpa daya maju dunia. Walau bagaimanapun, perubahan pandangan mesti datang seawal mungkin.

Juga Baca: Kami Mendorong Anak-Anak Kita Ke Arah Kegelapan

Pemikiran Akhir

Perisian semakin digunakan dalam aplikasi yang memerlukan langkah keselamatan keselamatan terbina dalam. Kaedah yang lebih baik untuk mereka bentuk perisian mestilah diperkenalkan di seluruh papan kerana aplikasi sedemikian penting dalam kehidupan kita.

Proses seperti automasi bergantung pada perisian pada hari ini tetapi satu kesilapan dalam satu baris kod boleh membawa kita ke kemunduran utama seperti contoh di atas.

Sekarang, bayangkan sesuatu seperti Kecerdasan Buatan (AI) yang dimasukkan ke dalam aplikasi ini. AI cukup menakutkan dengan sendiri tanpa gangguan perisian. Tambah pepijat ke dalam campuran dan tidak ada yang mengatakan apa yang boleh berlaku.

Walau bagaimanapun, terdapat lapisan perak di sini. Dengan sedikit kerja dan beberapa alat baru, kami boleh membuat perisian dan AI yang lebih baik dengan merancangnya dengan lebih baik dan mengujinya kepada kancingnya.

Mari kita berharap isu kritikal ini diambil serius oleh pihak berkuasa yang berkenaan supaya kita boleh menggunakan perisian untuk potensi penuh tetapi hanya untuk membina masa depan yang lebih selamat dan bijak.

Lihat Seterusnya: Kecerdasan Buatan: Jenis dan Masa Depan Ia Memegang untuk Manusia