Bagaimana cara menghindari masalah perangkat lunak

Di era digital ini, Anda pasti pernah mendengar tentang raksasa media sosial seperti Facebook dan Twitter dan platform e-commerce seperti Alibaba dan Amazon. Situs web online ini bergantung pada berbagai paket perangkat lunak untuk operasi mereka. Program-program ini terus terang mengubah cara kita bekerja, berpikir dan hidup.

Selain itu, banyak perangkat yang sebelumnya hanya bersifat mekanis, sekarang dikendalikan oleh perangkat lunak. Misalnya, termostat pernah menjadi perangkat elektromekanis. Namun, mereka sekarang sangat bergantung pada perangkat lunak untuk operasi.

Namun, bug perangkat lunak bisa sangat bermasalah, terutama dengan meningkatnya ketergantungan kita pada mereka untuk kegiatan sehari-hari. Bahkan, sebenarnya ada beberapa kesempatan di mana perangkat lunak telah gagal dari tujuan yang dimaksudkan, yang mengarah ke hasil yang tidak menyenangkan.

, kita berbicara tentang 4 kesempatan di mana kinerja perangkat lunak telah secara besar-besaran meleset dari sasarannya dan bagaimana cara menghindari masalah perangkat lunak tersebut.

Baca Juga: 10 Alasan Anda Tidak Harus Terburu-buru untuk Membeli iPhone X

1. Pemadaman Multi-Negara Bagian AS 911

911 adalah layanan penting, yang memungkinkan individu untuk menghubungi personel darurat kapan pun diperlukan. Kadang-kadang, berhubungan dengan operator darurat melalui 911 benar-benar dapat membuat perbedaan antara hidup dan mati.

Oleh karena itu, itu adalah bencana ketika pada 9 April 2014, 911 panggilan-routing gagal di tujuh negara bagian AS, termasuk California, Florida, Minnesota, Carolina Utara, Pennsylvania, Carolina Selatan, dan Washington.

Pemadaman ini disebabkan oleh kesalahan pengkodean yang dapat dicegah, yang terjadi di pusat manajemen panggilan darurat di Colorado yang dimiliki oleh Intrado.

2. Membumikan Armada United Airlines

Pada Juli 2015, United Airlines terpaksa mendaratkan seluruh armada pesawatnya karena kesalahan perangkat lunak. Ini memengaruhi lebih dari 4.900 penerbangan secara global dan membuat banyak penumpang terdampar di bandara dan jelas frustrasi.

Mungkin ada dampak ekonomi juga karena maskapai harus membayar banyak penumpang untuk ketidaknyamanan ini. Mungkin juga ada beberapa pertemuan bisnis penting yang ceroboh karena landasan.

3. Kerusakan Pedal Akselerator Toyota Camry

Pada bulan September 2007, Jean Bookout bepergian di Interstate Highway 69 di Oklahoma dengan penumpang Barbara Schwarz, ketika dia mengalami kesulitan mengendalikan Toyota Camry-nya.

Dia berusaha mengangkat kakinya dari throttle tetapi mobil terus melaju. Pedal rem gagal menghentikan mobil dan dia terpaksa menggunakan rem daruratnya.

Sayangnya, ini mengirim mobil meluncur ke tanggul. Schwarz meninggal sebagai akibatnya dan Bookout dirawat di rumah sakit selama lima bulan karena cedera kritis.

Itu berspekulasi bahwa kecelakaan itu terjadi karena beberapa kekurangan pengkodean yang menyebabkan crash tugas di CPU Camry. CPU ini akan mengontrol sejumlah besar fungsi, termasuk pengapian, kontrol throttle, dan kontrol jelajah.

Kode Toyota menjadi berantakan setelah beberapa tahun kode baru ditumpuk pada kode lama. Ini biasanya disebut sebagai 'kode spageti'.

Kode spageti tidak perlu rumit dan membuatnya hampir mustahil untuk menemukan kesalahan. Selain itu, Toyota juga telah melanggar beberapa aturan keselamatan dalam pengkodean mereka. Perlu dicatat bahwa ini bukan kasus percepatan yang tidak disengaja dalam Toyota.

Namun, kecelakaan Bookout membawa masalah ini ke dalam cahaya dan menyoroti kelemahan Toyota dalam proses perangkat lunak mereka. Bahkan ditemukan bahwa ada lebih dari 10 juta cara agar akselerasi yang tidak diinginkan berpotensi terjadi, berdasarkan cara kode Toyota disusun.

Kegagalan Termostat Sarang

Nest adalah perusahaan, yang dimiliki oleh Alphabet, yang membuat termostat pintar. Termostat ini cukup bagus dan memungkinkan pengguna untuk mengontrol suhu di rumah mereka dari smartphone mereka.

Musim dingin lalu, termostat Nest mengalami kesalahan dalam bentuk pembaruan perangkat lunak yang salah, yang menyebabkan baterai mereka terkuras. Sayangnya, kesalahan ini terjadi di tengah musim dingin, meninggalkan beberapa pengguna tanpa panas sementara. Ini jelas sesuatu yang Anda tidak ingin terjadi di tahun ini.

Lihat Selanjutnya: Selfie Tidak Sepele Seperti Media Sosial Membuat Mereka Terlambat

Analisis Singkat Masalah Perangkat Lunak

Pendekatan seperti desain berbasis model dan TLA + memungkinkan pengembang untuk mendapatkan gambaran umum yang lebih besar tentang cara kerja perangkat lunak mereka.

Brett Victor, seorang peneliti komputer terkemuka, berpendapat bahwa ada keterputusan antara programmer dan masalah yang mereka coba selesaikan dengan kode.

Karena pemutusan ini, menjadi sulit bagi programmer untuk membayangkan apa yang mereka coba masukkan ke dalam kode. Victor berpendapat ini adalah salah satu faktor penyebab perangkat lunak dipenuhi dengan bug.

Namun, ada harapan. Pendekatan seperti desain berbasis model dan TLA + memungkinkan pengembang untuk mendapatkan gambaran umum yang lebih besar tentang cara kerja perangkat lunak mereka.

Desain berbasis model, seperti namanya, memungkinkan pengembangan perangkat lunak melalui model visual. TLA +, yang merupakan kependekan dari Temporal Logic of Actions, adalah bahasa yang dirancang untuk menulis spesifikasi program komputer. Apa yang hebat tentang TLA + adalah ia memungkinkan pengujian dan verifikasi perangkat lunak yang lengkap sebelum dipublikasikan.

Baik desain berbasis model dan TLA + telah membuktikan garamnya. Teknologi Esterel, sebuah perusahaan pengembangan perangkat lunak, menggunakan desain berbasis model untuk membangun perangkat lunak yang kritis terhadap keselamatan sementara TLA + telah digunakan oleh orang-orang seperti Microsoft untuk memperbaiki kemungkinan kesalahan Xbox bencana, dan oleh Badan Antariksa Eropa untuk menulis ulang kode untuk sebuah penyelidikan yang mendarat di sebuah komet.

Proses penulisan kode sangat dihargai oleh para programmer. Banyak dari mereka yang cukup tertarik dengan proses penulisan kode. Oleh karena itu, merupakan tantangan untuk membuat beberapa programmer menerima pendekatan seperti desain berbasis model dan TLA +. Pendekatan-pendekatan ini sering dianggap sebagai semata-mata akademis tanpa viabilitas dunia nyata. Namun, perubahan pandangan harus dilakukan sedini mungkin.

Baca Juga: Kami Mendorong Anak-Anak Kami Menuju Kebutaan

Pikiran terakhir

Perangkat lunak semakin banyak digunakan dalam aplikasi yang membutuhkan tindakan pencegahan keamanan bawaan. Metode yang lebih baik dalam mendesain perangkat lunak harus diperkenalkan secara menyeluruh karena aplikasi seperti itu sangat penting dalam kehidupan kita.

Proses seperti otomatisasi sangat bergantung pada perangkat lunak akhir-akhir ini, tetapi satu kesalahan dalam satu baris kode dapat membawa kita ke kemunduran besar seperti yang ditunjukkan oleh contoh di atas.

Sekarang, bayangkan sesuatu seperti Artificial Intelligence (AI) dimasukkan ke dalam aplikasi ini. AI cukup menakutkan dengan sendirinya tanpa gangguan perangkat lunak. Tambahkan bug ke dalam campuran dan tidak ada yang tahu apa yang bisa terjadi.

Namun, ada hikmahnya di sini. Dengan sedikit kerja dan beberapa alat baru, kita dapat membuat perangkat lunak dan AI yang lebih baik dengan mendesainnya lebih baik dan mengujinya ke studnya.

Mari kita berharap bahwa masalah kritis ini ditanggapi dengan serius oleh otoritas terkait sehingga kita dapat menggunakan perangkat lunak secara maksimal tetapi hanya untuk membangun masa depan yang lebih aman dan lebih cerdas.

Lihat Selanjutnya: Kecerdasan Buatan: Jenis dan Masa Depan yang Dimilikinya untuk Manusia