الأبحاث في مجلة: Proceedings of the ACM on software engineering.
-
تقييم وتخفيف تأثير التوجيه الخاطئ للكود المعيب في اختبارات الوحدة التي تم إنشاؤها بواسطة
2026 | المؤلف: Junda Zhao وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تستكشف هذه الورقة البحثية “أثر التوجيه الخاطئ” في نماذج اللغة الكبيرة (LLMs) أثناء توليد اختبارات الوحدة، حيث يؤدي وجود كود معيب إلى توليد اختبارات تتحقق من سلوك خاطئ بدلاً من تحديده. يقدم المؤلفون مقياسًا جديدًا لتقييم هذه الظاهرة بشكل كمي، مما يكشف أن تحفيز LLMs بكود معيب يؤدي إلى زيادة في “الاختبارات الموجهة بشكل خاطئ”…
-
ExpeRepair: إصلاح البرامج على مستوى المستودع المعزز بالذاكرة المزدوجة
2026 | المؤلف: Fangwen Mu وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: نظم المعلومات (Information Systems)تقدم ورقة البحث ExpeRepair، وهو إطار مبتكر لإصلاح البرامج الآلي (APR) يستفيد من نماذج اللغة الكبيرة (LLMs) مع معالجة القيود الرئيسية للطرق الحالية. غالبًا ما تتعامل الأساليب الحالية مع مشكلات البرمجيات بشكل منفصل وتعتمد على استراتيجيات تحفيز ثابتة، مما يقيّد قدرتها على التكيف مع السياقات المتنوعة. على النقيض من ذلك، يستلهم ExpeRepair من العمليات المعرفية…
-
تقييم توليد اختبارات الانحدار المعتمدة على نماذج اللغة الكبيرة
2026 | المؤلف: Zhenyun Du وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)في هذا البحث، يستكشف المؤلفون تطبيق نماذج اللغة الكبيرة (LLMs) لتوليد اختبارات الانحدار في الوقت المناسب في هندسة البرمجيات، مستهدفين بشكل خاص البرامج التي تعالج مدخلات منظمة وقابلة للقراءة البشرية. تتضمن الطريقة المقترحة استخدام LLM لتوليد حالات اختبار الانحدار بناءً على رسائل الالتزام ال من المطورين، وتغييرات الشيفرة، وصيغ المدخلات (مثل XML) كلما تم الالتزام…
-
NESA: تحليل البرامج الثابتة الرمزية العصبية العلائقية
2026 | المؤلف: Chengpeng Wang وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تقدم ورقة البحث NESA، وهو إطار عمل عصبي رمزي تركيبي مصمم لتعزيز تحليل البرامج الثابتة من خلال تمكين أساليب قابلة للتخصيص وخالية من التجميع. تواجه طرق التحليل الثابت التقليدية قيودًا بسبب اعتمادها على التجميع ونقص المرونة. يتناول NESA هذه التحديات من خلال استخدام نماذج اللغة الكبيرة (LLMs) بالتزامن مع لغة سياسة تحليل متخصصة، وهي شكل…
-
أعلى درجة في الامتحان الخطأ: حول القياس المرجعي في تعلم الآلة لاكتشاف الثغرات
2026 | المؤلف: Niklas Risse وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: نظم المعلومات (Information Systems)في هذا القسم، يقدم المؤلفون نتائج من استطلاعهم حول التعلم الآلي لاكتشاف الثغرات (ML4VD)، كاشفين أن 90% من الأوراق المنشورة في السنوات الخمس الماضية تعالج ML4VD كمشكلة تصنيف ثنائي على مستوى الدالة، حيث يتم تقييم ما إذا كانت الدالة تحتوي على عيب أمني. ومع ذلك، يجادل المؤلفون بأن فهم السياق الذي يتم فيه استدعاء الدالة…
-
كشف الهلوسة في نماذج اللغة الكبيرة باستخدام العلاقات المتحولة
2026 | المؤلف: Zhenyun Du وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: الذكاء الاصطناعي (Artificial Intelligence)يقدم هذا القسم MetaQA، وهو نهج جديد للكشف عن الهلوسات في نماذج اللغة الكبيرة (LLMs) لا يعتمد على الموارد الخارجية، مما يعالج قيود الطرق الحالية التي غالبًا ما تعاني من مشكلات مثل انخفاض التوافر ومخاوف الخصوصية. يستخدم MetaQA العلاقات التحولية وتغيير المحفزات لتحديد المعلومات غير الصحيحة من الناحية الواقعية في مخرجات LLM. الفرضية الأساسية هي…
-
المحفزات هي برامج أيضًا! فهم كيفية بناء المطورين للبرمجيات التي تحتوي على المحفزات
2026 | المؤلف: Jenny T. Liang وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: نظم المعلومات (Information Systems)تستكشف هذه الورقة البحثية مفهوم “برمجة المطالبات”، وهو ظاهرة مميزة في تطوير البرمجيات حيث يقوم المطورون بإنشاء مطالبات بلغة طبيعية للتفاعل مع النماذج المدربة مسبقًا (FMs). من خلال مقابلات مع 20 مطورًا، تستخدم الدراسة نظرية grounded theory من نوع ستراوس لتحليل عملية تطوير المطالبات، مما يكشف أن هذه المطالبات يمكن اعتبارها شكلًا من أشكال البرمجة.…
-
LlamaRestTest: اختبار فعال لواجهة برمجة التطبيقات REST باستخدام نماذج لغة صغيرة
2026 | المؤلف: Myeongsoo Kim وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تقدم البحث LlamaRestTest، وهو نهج مبتكر لاختبار واجهات برمجة التطبيقات REST يستخدم نسخًا دقيقة ومعالجة من نموذج Llama3-8B. من خلال الاستفادة من مجموعات البيانات المستخرجة من قيم أمثلة واجهة برمجة التطبيقات REST والاعتماديات بين المعلمات، يقوم LlamaRestTest بإنشاء مدخلات اختبار واقعية وتحديد الاعتماديات بين المعلمات من خلال تحليل استجابة الخادم. تم تقييمه مقابل 12 خدمة…
-
AlphaTrans: نهج رمزي عصبي تركيبي لترجمة الكود والتحقق منه على مستوى المستودع
2026 | المؤلف: Ali Reza Ibrahimzada وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: نظم المعلومات (Information Systems)يتناول القسم عملية ترجمة الشيفرة، والتي تتضمن تحويل البرامج من لغة برمجة واحدة (PL) إلى أخرى، بشكل أساسي من أجل تحديث التطبيقات لتحسين القابلية للصيانة والموثوقية. تواجه المحولات التقليدية المعتمدة على القواعد تحديات مع تطور لغات البرمجة، مما يؤدي إلى تقادم القواعد ووجود عمومية محدودة. شهدت التطورات الأخيرة استكشاف نماذج اللغة الكبيرة (LLMs) لأتمتة ترجمة…
-
سمارت كودر-R1: نحو توليد عقود ذكية آمنة وقابلة للتفسير مع تحسين السياسات النسبية المراعية للأمان
2026 | المؤلف: Lei Yu وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: نظم معلومات الإدارة (Management Information Systems)تقدم ورقة البحث SmartCoder-R1، وهو إطار عمل جديد يهدف إلى تعزيز توليد العقود الذكية الآمنة والقابلة للتفسير باستخدام نماذج اللغة الكبيرة (LLMs). يتناول الإطار التحديات الحرجة المرتبطة بتوليد العقود الذكية بشكل آلي، لا سيما نقص الشفافية وانتشار الثغرات الأمنية في الشيفرة التي تنتجها النماذج الحالية. يستخدم SmartCoder-R1 خط أنابيب من ثلاث مراحل: التدريب المستمر (CPT)…