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

أطلق PDD Kit أداة جديدة للتحقق من صحة التطبيقات التي يكتبها الوكلاء، مما يسهل على المهندسين غير المتخصصين استخدام طرق رسمية. يقوم PDD Kit بتحويل نوايا المستخدم إلى مواصفات رسمية، ثم يثبت أن الكود الذي يكتبه الوكيل يتوافق مع تلك المواصفات. تم استخدام PDD Kit للتحقق من منطق تسجيل الدخول في تطبيق Pet Store، مما ساعد في كشف الأخطاء الموجودة. تتزايد كميات الكود التي تنتجها الوكلاء، مما يجعل المراجعة البشرية الشاملة صعبة. بدلاً من ذلك، يعتمد معظم الفرق على خطة الاختبار، حيث يصفون للوكيل ما يريدون، ثم يتبادلون الملاحظات حتى تصبح الخطة والاختبارات المقترحة صحيحة. لكن في الممارسة العملية، يمكن أن ينحرف الوكيل عن هذه الخطة، مما يؤدي إلى تنفيذ شيء مختلف.