Alat baru dan gratis menambahkan lapisan keamanan untuk rantai pasokan perangkat lunak
Software

Alat baru untuk memfasilitasi desain perangkat lunak yang cepat dan bebas kesalahan


Kredit: CC0

Setiap proyek bangunan memerlukan perumusan dari serangkaian rencana awal sebelum memulai konstruksi untuk menjadi dasar dan panduan untuk keseluruhan proses. Prosedur serupa diikuti dalam pengembangan perangkat lunak, dengan dimasukkannya langkah khusus yang dikenal sebagai pemodelan. “Prosesnya setara dengan produksi seperangkat rencana untuk sebuah gedung sebelum dibangun,” jelas Profesor Universitat Oberta de Catalunya (UOC) Fakultas Ilmu Komputer, Multimedia dan Telekomunikasi dan anggota kelompok riset SOM Research Lab dari Internet. Institut Interdisipliner (IN3), Robert Clarisó.

Insinyur menggunakan pemodelan untuk menggambarkan sistem perangkat lunak dari perspektif tertentu, seperti data yang akan digunakan, komponennya, atau cara mereka mengharapkannya berfungsi. Kembali ke contoh proyek pembangunan, rencana akan menjadi model, yang dapat digunakan sebagai panduan selama tahap pengembangan, serta untuk melakukan simulasi dan pengujian.

Menurut peneliti, “Jenis model yang paling sering digunakan adalah notasi diagram kelas UML (Unified modeling Language), yang digunakan untuk mendeskripsikan struktur suatu sistem perangkat lunak”. Keuntungan bekerja dengan model ini adalah model tersebut lebih abstrak daripada kode sumber, yang berisi banyak detail spesifik tentang teknologi yang digunakan. Dalam kata-kata Clarisó, “Model bisa lebih ringkas, lebih mudah diproduksi dan dipahami.”

Dengan demikian, pemodelan akan berfungsi lebih sebagai langkah awal daripada alternatif untuk kode sumber. Model tersebut memudahkan untuk memahami sistem yang sedang dikembangkan dan juga dapat digunakan untuk menghasilkan elemen implementasi tertentu, mengotomatiskan bagian yang paling berulang dari proses pemrograman.

Peran alat verifikasi

Insinyur menggunakan alat verifikasi untuk mencegah kesalahan yang dapat mempengaruhi kode itu sendiri dan, oleh karena itu, implementasi akhir dari sistem. Menekankan pentingnya proses ini, Clarisó berkata, “Kami perlu memastikan modelnya benar untuk meminimalkan kemungkinan kesalahan dalam perangkat lunak yang dapat terjadi sebagai akibatnya.”

Sebagai bagian dari studi yang diterbitkan dalam Journal of Object Technology, Clarisó, bersama dengan rekan-rekannya, Carlos A.González (peneliti Gran Telescopio Canarias) dan Jordi Cabot (peneliti ICREA), telah menemukan teknik verifikasi baru untuk UML / OCL model yang memecahkan masalah umum. Setiap kali seorang desainer melakukan perubahan — seperti menambah, menghapus, atau memodifikasi informasi — pada model itu berarti bahwa keseluruhan sistem harus dianalisis ulang, itulah sebabnya verifikasi biasanya hanya dilakukan setelah model definitif telah selesai. diproduksi di akhir proses.

Seperti yang dijelaskan Clarisó, “Artikel kami menguraikan penerapan metode verifikasi tambahan, yaitu, kami mempermudah verifikasi model setiap kali ada perubahan.” Daripada hanya dapat memverifikasi model di akhir proses, seperti yang terjadi saat ini, ini memungkinkannya untuk diverifikasi selama konstruksi, tanpa harus memulai dari awal, yang memfasilitasi deteksi dini kesalahan.

Komunitas yang aktif, baik secara nasional maupun global

Metode ini juga inovatif dalam hal penggunaan sertifikatnya, contoh yang menggambarkan pengoperasian model yang benar. Seperti yang ditunjukkan oleh peneliti, “Saat kami memodifikasi model, memiliki sertifikat baru akan menghilangkan kebutuhan akan verifikasi.

Jauh lebih murah untuk mengadaptasi sertifikat daripada menjalankan kembali proses verifikasi. “Menjelaskan prosesnya, penulis mengusulkan bahwa, daripada memverifikasi model baru, sertifikat dari model asli dapat diadaptasi ke yang baru. Yang terbesar Tantangan yang mereka hadapi sekarang adalah mengintegrasikan teknik-teknik ini ke dalam lingkungan dan alat pemodelan perangkat lunak yang ada.

Mengomentari sektor secara umum, Clarisó, yang bertindak sebagai koordinator Jaringan Keunggulan Spanyol dalam Rekayasa Perangkat Lunak Model-driven, menekankan bahwa, “komunitas pemodelan Spanyol masih sangat aktif dan berpartisipasi dalam berbagai proyek penelitian nasional dan internasional . “

Faktanya, meskipun jaringan tidak lagi beroperasi, komunitas masih bekerja bersama dan berkolaborasi sebagai bagian dari Konferensi Rekayasa Perangkat Lunak dan Basis Data tahunan, yang memiliki ruang yang didedikasikan untuk Rekayasa Perangkat Lunak berdasarkan Model.


Alat untuk mengotomatiskan pemrograman perangkat untuk aplikasi IoT


Informasi lebih lanjut:
Robert Clarisó dkk. Verifikasi Tambahan Model UML / OCL., Jurnal Teknologi Objek (2020). DOI: 10.5381 / jot.2020.19.3.a7

Disediakan oleh Universitat Oberta de Catalunya

Kutipan: Alat baru untuk memfasilitasi desain perangkat lunak yang cepat dan bebas kesalahan (2021, 15 Januari) diambil pada 24 Januari 2021 dari https://techxplore.com/news/2021-01-tool-fast-error-free-software.html

Dokumen ini memiliki hak cipta. Selain dari transaksi yang adil untuk tujuan studi atau penelitian pribadi, tidak ada bagian yang boleh direproduksi tanpa izin tertulis. Konten disediakan untuk tujuan informasi saja.


Halaman Ini Di Persembahkan Oleh : Keluaran Singapore Hari Ini