الأبحاث ضمن الموضوع : تقنيات اختبار البرمجيات وتصحيح الأخطاء
-
تقييم توليد اختبارات الانحدار المعتمدة على نماذج اللغة الكبيرة Evaluating LLM-Based Regression Test Generation
2026 | المؤلف: Zhenyun Du وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)في هذا البحث، يستكشف المؤلفون تطبيق نماذج اللغة الكبيرة (LLMs) لتوليد اختبارات الانحدار في الوقت المناسب في هندسة البرمجيات، مستهدفين بشكل خاص البرامج التي تعالج مدخلات منظمة وقابلة للقراءة البشرية. تتضمن الطريقة المقترحة استخدام LLM لتوليد حالات اختبار الانحدار بناءً على رسائل الالتزام ال من المطورين، وتغييرات الشيفرة، وصيغ المدخلات (مثل XML) كلما تم الالتزام…
-
NESA: تحليل البرامج الثابتة الرمزية العصبية العلائقية NESA: Relational Neuro-Symbolic Static Program Analysis
2026 | المؤلف: Chengpeng Wang وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تقدم ورقة البحث NESA، وهو إطار عمل عصبي رمزي تركيبي مصمم لتعزيز تحليل البرامج الثابتة من خلال تمكين أساليب قابلة للتخصيص وخالية من التجميع. تواجه طرق التحليل الثابت التقليدية قيودًا بسبب اعتمادها على التجميع ونقص المرونة. يتناول NESA هذه التحديات من خلال استخدام نماذج اللغة الكبيرة (LLMs) بالتزامن مع لغة سياسة تحليل متخصصة، وهي شكل…
-
دراسة تجريبية للسلبيات والإيجابيات الكاذبة لمحللات الشيفرة الثابتة من منظور القضايا التاريخية An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
2026 | المؤلف: Han Cui وآخرون | المجلة: ACM Transactions on Software Engineering and Methodology | المجال: البرمجيات (Software)يتناول هذا القسم من ورقة البحث التحديات المرتبطة بالسلبيات الكاذبة (FNs) والإيجابيات الكاذبة (FPs) في محللات الشيفرة الثابتة، وهي أدوات أساسية لتحديد عيوب البرامج. يقوم المؤلفون بإجراء دراسة منهجية لـ 350 قضية تاريخية تتعلق بـ FNs و FPs من ثلاثة محللات مستخدمة على نطاق واسع: PMD و SpotBugs و SonarQube. تم تأكيد هذه القضايا وحلها…
-
LlamaRestTest: اختبار فعال لواجهة برمجة التطبيقات REST باستخدام نماذج لغة صغيرة LlamaRestTest: Effective REST API Testing with Small Language Models
2026 | المؤلف: Myeongsoo Kim وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تقدم البحث LlamaRestTest، وهو نهج مبتكر لاختبار واجهات برمجة التطبيقات REST يستخدم نسخًا دقيقة ومعالجة من نموذج Llama3-8B. من خلال الاستفادة من مجموعات البيانات المستخرجة من قيم أمثلة واجهة برمجة التطبيقات REST والاعتماديات بين المعلمات، يقوم LlamaRestTest بإنشاء مدخلات اختبار واقعية وتحديد الاعتماديات بين المعلمات من خلال تحليل استجابة الخادم. تم تقييمه مقابل 12 خدمة…
-
ContrastRepair: تعزيز إصلاح البرامج الآلي القائم على المحادثة عبر أزواج حالات اختبار متباينة ContrastRepair : Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
2026 | المؤلف: Jiaolong Kong وآخرون | المجلة: ACM Transactions on Software Engineering and Methodology | المجال: البرمجيات (Software)يقدم هذا القسم نظرة عامة على ContrastRepair، وهو نهج جديد لإصلاح البرامج تلقائيًا (APR) يستفيد من نماذج اللغة الكبيرة (LLMs)، وبشكل خاص ChatGPT، لتوليد تصحيحات فعالة لعيوب البرمجيات. يعزز هذا الأسلوب APR المدفوع بالمحادثة من خلال تقديم أزواج اختبار تباينية، تتكون من اختبار فاشل واختبار ناجح. يسمح هذا التعليق التبايني لـ LLM بتقليل الفروق بين…
-
U-Turn: تعزيز تحليل الخطأ من خلال عكس الاتجاه
2026 | المؤلف: Flavio Ascari وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: البرمجيات (Software)في هذا القسم، يناقش المؤلفون دمج منطق عدم الصحة لـ O’Hearn (IL) مع منطق عدم الصحة الكافي (SIL) لتعزيز تحليل البرامج الثابتة لاكتشاف الأخطاء. يهدف هذا النهج المدمج إلى تحسين دقة وفعالية تحديد حالات الأخطاء القابلة للوصول وأسبابها المحتملة. يقترح المؤلفون نظام إثبات جديد يسمى U-Turn، والذي يسمح بإعادة استخدام الخيارات الاستدلالية من IL لتوجيه…
-
توليد تصاميم فيريلوج من الأسفل إلى الأعلى لاختبار أدوات EDA
2026 | المؤلف: João Vieira وآخرون | المجلة: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | المجال: البرمجيات (Software)تتناول الورقة تطوير ChiGen، أداة مصممة لتوليد تصميمات Verilog واقعية لمعالجة قيود مجموعات المعايير الحالية في لغات وصف الأجهزة (HDLs). يستخدم ChiGen منهجية “من الأسفل إلى الأعلى” في الفحص، والتي تبني مواصفات Verilog من خلال إنشاء هيكل نحوي واستنتاج الأسماء والأنواع من خلال القواعد النحوية الاحتمالية، واستنتاج النوع Hindley-Milner، وتحليل تدفق البيانات لحقن الشيفرة. تم…
-
الضبط الدقيق وهندسة الطلب لأتمتة مراجعة الشيفرات المعتمدة على نماذج اللغة الكبيرة
2024 | المؤلف: Chanathip Pornprasit وآخرون | المجلة: Information and Software Technology | المجال: البرمجيات (Software)تبحث الدراسة في فعالية نماذج اللغة الكبيرة (LLMs)، وتحديداً GPT-3.5 وMagicoder، في أتمتة عمليات مراجعة الشيفرة من خلال منهجيتين رئيسيتين: التخصيص والتوجيه. يتضمن التخصيص تدريب النموذج على مجموعة بيانات محددة، بينما يوفر التوجيه تعليمات واضحة لتوجيه مخرجات النموذج دون الحاجة إلى مجموعة بيانات مخصصة. تقيم الدراسة 12 نوعاً من نماذج LLMs، مستخدمة تقنيات مثل التعلم…