Yapay zeka odaklı şartname formatı Code Contracts duyuruldu

Yazılım geliştirmede insan ve yapay zeka ajanlarının kod gereksinimlerini doğrudan kaynak dosyalar üzerinden takip etmesini amaçlayan Code Contracts açık formatı yayımlandı. Proje, kod tabanındaki varsayımları ve değişmez kuralları doğrudan fonksiyonların, sınıfların veya dizinlerin yanına ekleyerek geliştiricilerin kod inceleme yükünü azaltmayı hedefliyor. Belge açıklamaları veya CONTRACTS dosyaları içine yazılan kurallar, hem insanların kodun amacını kolayca anlamasını sağlıyor hem de yapay zeka ajanlarına kod değişiklikleri sırasında net sınırlar çiziyor.

Sistem, kaynak koda eklenen tek bir @cc direktifi ve sonrasındaki nesir açıklamalarından oluşan basit bir dil bilgisi yapısı kullanıyor. Fonksiyon veya metot bazlı kurallar doğrudan dokümantasyon yorumlarına eklenirken, bir dizinin tamamını kapsayan genel kurallar CONTRACTS dosyaları içinde tanımlanıyor. Kurallar kimlik ve isteğe bağlı meta verilerle etiketlenerek dosya hiyerarşisi boyunca izlenebilir ve denetlenebilir hale getiriliyor. Sözdizimini doğrulamak ve yinelenen kimlikleri engellemek için ise komut satırı araçları sunuluyor.

Geliştiriciler, CLI üzerinden çalışan cc-check doğrulama aracıyla diff, dosya veya depo genelinde şartname ihlallerini kontrol edebiliyor. İnceleme ajanları kod incelemeleri sırasında ilgili sözleşmeleri analiz ederek tespit edilen aksaklıkları, kaynak satırlarını ve olası sonuçları çekme isteklerine yorum olarak bırakıyor. Ayrıca mevcut bir şartname değiştirildiğinde veya silindiğinde belirlenen sözleşme sahiplerine otomatik bildirim gönderiliyor.