Paket perangkat lunak mahasiswa MIT secara otomatis mengoreksi operasi program

Pada konferensi tentang pengembangan dan implementasi bahasa pemrograman, tim pakar komputer dari Massachusetts Institute of Technology (MIT) mempresentasikan sistem dengan fitur luar biasa . Menurut mereka, paket perangkat lunak ini secara otomatis menemukan kesalahan dalam program, dan memperbaikinya, menggantikan potongan tempat mereka yang sesuai untuk fungsionalitas dari program lain. Pada saat yang sama, sistem tidak perlu berkenalan dengan kode sumber dari program yang sedang dikoreksi untuk operasi - itu membutuhkan file yang dapat dieksekusi.

Para programmer virtuoso menamakan program mereka CodePhage (codephage). Pengembang menjelaskan bahwa sistem mereka "menganalisis pelaksanaan program dan mencirikan jenis pemeriksaan keamanan yang dilakukan." Setelah itu, codeophage dapat mengambil cek yang sama dari program donor lain, bahkan jika mereka ditulis dalam bahasa pemrograman lain, dan memasukkannya ke program penerima. Bagaimana donor dipilih untuk ini, pengembang tidak menentukan.

"Sudah ada banyak program open source - ada jutaan proyek di repositori, dan banyak dari mereka memenuhi spesifikasi yang sama," kata Stelios Sidiroglu-Duskos, di bawah kepemimpinan CodePhage yang dikembangkan. - Bahkan jika program dasarnya berbeda, mereka sering dapat menemukan komponen dengan fungsi yang sama. Dengan CodePhage, suatu hari nanti akan dimungkinkan untuk membuat sistem hybrid yang mencakup komponen terbaik dari semua implementasi yang tersedia. "

Untuk memulai pencarian kesalahan, fag kode-ajaib membutuhkan sedikit - satu set data input di mana program yang sedang dipelajari crash, dan yang lainnya di mana ia tidak crash. Kemudian codephage secara otomatis memulai program donor dengan set data ini, dan mencatat kerjanya. Misalnya, jika program penerima dapat membuka file dengan format tertentu, tetapi tersandung pada beberapa file, maka CodePhage mencatat semua yang dilakukan oleh program donor "yang benar" dengan file ini, khususnya, apa yang memeriksa performanya. Setelah itu, codeophagus menganalisis bagaimana pekerjaan program donor berbeda dari pekerjaan program penerima, dan mengoreksi penerima sesuai.

Pengembang mengklaim bahwa program mereka telah berhasil memperbaiki program yang salah bekerja, dan optimis tentang masa depan, di mana programmer tidak perlu menulis potongan kode yang fungsinya telah dilaksanakan oleh seseorang.

"Teknologi kode pinjaman dari program lain dengan fungsi yang sama dan memperbaiki program yang tidak berfungsi dengan itu tentu saja keren," kata Emery Berger, seorang profesor IT di Universitas Massachusetts di Amherst yang berkomentar tentang pekerjaan para spesialis. "Sejujurnya, aku terkejut dia bahkan bekerja."

Source: https://habr.com/ru/post/id381263/