التعلم الآلي لتحليل البرامج الديناميكية: القدرات والقيود

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

يعد التعلم الآلي نموذجًا قويًا يوفر طرقًا جديدة لأتمتة توليد النماذج وغيرها من الأدوات البرمجية الأساسية. ينشأ هذا المجلد من ندوة Dagstuhl بعنوان "التعلم الآلي لتحليل البرامج الديناميكية: المقدرات والقيود" الذي عقد في أبريل 2016. ركزت الحلقة الدراسية على تعزيز روح التعاون من أجل تبادل الأفكار وتوسيع وتعزيز التلاقح بين يقدم هذا الكتاب لمحة عامة عن تقنيات التعلم الآلي التي يمكن استخدامها لتحليل البرامج وتقديم أمثلة لتطبيقات استخدامها ، إلى جانب الفصل التمهيدي ، يتم تنظيم الكتاب إلى ثلاثة أجزاء: الاختبار والتعلم والإرشاد من التعلم الآلي ، والنهج التكاملية.