التصفية الديناميكية وتحديد أولويات تنبيهات تحليل التعليمات البرمجية الثابتة
| العنوان | التصفية الديناميكية وتحديد أولويات تنبيهات تحليل التعليمات البرمجية الثابتة |
|---|---|
| المؤلف | يوكسيل، يو، سوزر، حسن |
| تاريخ النشر: | 2021 |
| مكان النشر | - IEEE |
| الموضوع | مراجعات الكود، معالجة الإنذارات/التحذيرات/التنبيهات، تحليل البرامج، Prolog، تحليل الكود الثابت |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 978-1-6654-2604-6 |
| رقم السجل | 71fa9abc-7c2a-4549-bbe2-2289ab50c500 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2021 |
| نص عينة | نقترح طريقة لتصفية تنبيهات تحليل التعليمات البرمجية الثابتة وتحديد أولوياتها أثناء مراجعة المطور لهذه التنبيهات. نقوم ببناء قاعدة معرفية لـ Prolog تلتقط معلومات تدفق البيانات في الكود المصدري بالإضافة إلى التنبيهات المبلغ عنها وخصائصها وارتباطاتها بتدفق البيانات. يتم تحديث قاعدة المعرفة عندما يقوم المطور بمراجعة التنبيهات المدرجة ويقرر ما إذا كانت تشير إلى خطأ فعلي أم لا. توفر هذه التحديثات معلومات مفيدة نظرًا لأن بعض التنبيهات من نفس النوع يمكن أن تكون مرتبطة من حيث السبب الجذري لها. وبالتالي، يمكن الاستعلام عن قاعدة المعرفة المحدثة ديناميكيًا لإزالة التنبيهات المتبقية في قائمة المراجعة أو تحديد أولوياتها. ونقدم مثالا تحفيزيا لتوضيح المنهج وأتمتته من خلال دمج مجموعة من الأدوات. |
| DOI | 10.1109/ISSREW53611.2021.00086 |
