Bir yazılım geliştiricisi, Claude yapay zeka modelini kullanarak, sadece bir hafta sonunda karmaşık bir dağıtık sistem geliştirdi. Bu sistem, Bizans hata toleransı, güçlü tutarlılık ve keyfi hatalar altında çökme kurtarma gibi özelliklere sahipti. Geliştirici, tek bir satır kod yazmak yerine, sistemin istenen davranışını Allium adlı bir davranışsal şartname diliyle tanımladı. Claude, bu şartnamelerden yola çıkarak 50 dakika içinde 4.749 satır Kotlin kodu ve 103 birim testi üretti.
Allium, TLA+ ve yapılandırılmış düzyazı arasında bir köprü görevi gören, yapay zeka destekli kod üretimi için geliştirilmiş bir davranışsal şartname dilidir. Bu dil, sistemin davranışını hassas bir şekilde tanımlamaya olanak tanır ve geliştiricilerin, kodlama dili, kütüphane veya framework kısıtlamalarından bağımsız olarak tasarımı yinelemesini sağlar. Allium'daki 'rehberlik blokları' ise yapay zekayı belirli uygulama tercihlerine yönlendirir. Şartnameler, elle yazılmak yerine, diyaloglar aracılığıyla ortaya çıkar ve yapay zekanın referans alacağı, doğrulanabilir ve inşa edilebilir bir temel sunar.
Geliştirilen sistem, birkaç gün ve 64 commit sonrasında, güçlü tutarlılığa sahip veri deposuna karşı saniyede binlerce isteği (RPS) 100ms'nin altında gecikmeyle ve sıfır düşen istekle sürdürebildi. Daha da önemlisi, çökme kurtarma senaryoları, dağıtık sistemlerdeki ince hataları ortaya çıkardı ve bu hatalar, doğrudan kod üzerinde değil, Allium şartnameleri üzerinde yapılan düzeltmelerle giderildi. Bu yaklaşım, yapay zeka ve şartname tabanlı geliştirmenin, karmaşık sistemlerin hızlı ve güvenilir bir şekilde oluşturulmasındaki potansiyelini gözler önüne seriyor.
Yapay zeka destekli şartname tabanlı geliştirme, karmaşık dağıtık sistemlerin hızlı ve hatasız bir şekilde oluşturulabileceğini, hataların ise kod yerine şartnameler üzerinden giderilebileceğini gösteriyor.