berita.akasta.ac.id – Amazon Web Services (AWS) telah memperkenalkan fitur baru pada alat pemrograman Kiro AI yang bertujuan untuk memastikan bahwa persyaratan perangkat lunak bebas dari kontradiksi dan kekurangan sebelum kode ditulis. Fitur yang disebut Analisis Persyaratan ini diharapkan dapat mendeteksi kesalahan yang biasanya sulit diidentifikasi dan mahal untuk diperbaiki, karena masalah tersebut bersumber dari persyaratan awal yang mendefinisikan fungsi perangkat lunak.
Pengumuman ini disampaikan pada hari Selasa pagi, tiga bulan setelah AWS merespons laporan dari Financial Times yang menyebutkan bahwa alat pemrograman berbasis AI mereka berkontribusi terhadap gangguan layanan. Hal ini menyoroti risiko ketika alat AI diberi terlalu banyak otonomi dalam pengembangan perangkat lunak. Penambahan ini juga muncul sehari setelah AWS menunjuk mantan eksekutif Microsoft, Shawn Bice, sebagai Wakil Presiden Layanan AI, yang akan memimpin tim di balik fitur baru ini.
Analisis Persyaratan menggabungkan model bahasa besar dengan mesin penalar otomatis yang disebut SMT solver. Model ini menerjemahkan persyaratan bahasa alami ke dalam logika formal, kemudian solver tersebut memeriksa apakah persyaratan tersebut saling bertentangan atau memiliki celah yang mungkin dapat diisi secara keliru oleh alat pemrograman AI.
AWS mengajak para pengembang untuk menyusun spesifikasi yang lebih jelas, mengingat setiap instruksi yang ambigu dapat menghasilkan kode yang penuh dengan keputusan tersembunyi. Kiro bersaing di pasar alat pemrograman AI yang berkembang pesat, termasuk GitHub Copilot dan Google Antigravity, namun Kiro mengedepankan pendekatan berbasis spesifikasi.
Selain Analisis Persyaratan, AWS juga mengumumkan dua fitur baru lainnya yang akan mempercepat proses pengembangan, yaitu Eksekusi Tugas Paralel yang memungkinkan penyelesaian tugas secara bersamaan dan mode Perencanaan Cepat yang mempercepat pembuatan persyaratan dan tugas dalam satu langkah.
