Gamer telah membuktikan nilai mereka dalam verifikasi perangkat lunak

Dapatkah game online yang menyenangkan menyelesaikan masalah yang rumit dengan verifikasi perangkat lunak, yang biasanya dilakukan oleh pakar pemrograman profesional? Dengan kata lain, akankah pasukan gamer yang tidak berpendidikan lebih baik daripada proses profesional? Para peneliti di Badan Proyek Penelitian Lanjutan Pertahanan Amerika Serikat (DARPA) yakin bahwa ini adalah masalahnya.

Eksperimen pertama menunjukkan bahwa crowdsourcing bahkan lebih efektif daripada yang diantisipasi. Sebuah program bernama Crowd Sourced Formal Verification (CSFV) dimulai pada Desember 2013, dan kemudian portal Verigames dibuka dengan lima game verifikasi online gratis.

Misalnya, tangkapan layar di atas menunjukkan game Paradox , di mana Anda perlu menghilangkan konflik dengan mengubah keadaan variabel layar. Setelah mencapai hasil yang ditetapkan, pemain diberikan tugas optimisasi baru.

Selain Paradox, ada juga puzzle ruang Dynamakr untuk melipat puzzle dari generator pola ruang; pertempuran dengan penjajah asing Ghost Map Hyperspaceuntuk mencuri celah-celah mereka (di mana para bajingan melintasi jalinan ruang-waktu) dan perjalanan melalui tanah abad pertengahan monster Monster Proof dengan solusi lewat untuk teka-teki demi pengayaan.



Dalam game kelima terakhir dari Binary Fission, Anda perlu mengurutkan partikel atom dalam jumlah langkah minimum yang mungkin.



Pekan lalu, DARPA mengumumkan keberhasilan fase pertama program dan akan segera menambah lima game lagi ke situs.

Dari Posting Blog DARPA: “Gim-gim ini [2013] menyiarkan aksi pemain dalam anotasi untuk program dan membantu para ahli verifikasi formal membuat bukti matematika yang mengkonfirmasi tidak adanya kelas kesalahan penting dalam bahasa pemrograman C dan Java. Analisis awal menunjukkan bahwa amatir yang memainkan game CSFV menciptakan ribuan ribu anotasi. "

Secara umum, proyek game itu sangat sukses.

Mungkin orang tidak perlu khawatir tentang tingginya tingkat pengangguran di masyarakat robotik di masa depan. Programmer akan selalu menawarkan kepada orang-orang kegiatan yang menarik dan bermanfaat.