تقارير الذكاء الاصطناعي · Microsoft · 2026-11-05 · إعلان عن منتج

التحقق الرسمي من تطبيقات الويب الكاملة التي يكتبها الوكلاء باستخدام PDD Kit

العنوان الأصلي: Formally verifying agent-written full-stack web apps with PDD Kit

يحوّل PDD Kit نية المطور إلى مواصفات رسمية بلغة Verus، ويثبت أن الشيفرة المولّدة بالذكاء الاصطناعي تستوفيها لكل مُدخل، ويلجأ إلى الاختبارات حيث يتعذر الإثبات. وفي تجربة داخل Chopin التابع لـ GitHub Next، تحقق من منطق تسجيل الدخول في Pet Store، وهو واجهة متجر بلغة Rust، فكشف عن أخطاء قائمة وأثبت خلو منطق تسجيل الدخول من الأخطاء مقارنةً بالمواصفات. وراجع المطور النية دون قراءة الشيفرة المولّدة سطراً بسطر.

اقرأ المصدر الأصلي ↗

جميع تقارير الذكاء الاصطناعي →