إنشاء مواصفات التحقق من وقت التشغيل بناءً على تنبيهات تحليل التعليمات البرمجية الثابتة
| العنوان | إنشاء مواصفات التحقق من وقت التشغيل بناءً على تنبيهات تحليل التعليمات البرمجية الثابتة |
|---|---|
| المؤلف | كيليتش، يونس، سوزر، حسن |
| تاريخ النشر: | 2017 |
| مكان النشر | - ايه سي ام |
| الموضوع | التحقق من البرامج، التحقق من وقت التشغيل، تحليل التعليمات البرمجية الثابتة، تحويلات النماذج، تكامل الأدوات |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 978-1-4503-4486-9 |
| رقم السجل | ed1899ad-f832-4a24-bfa2-383d44af8980 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2017 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | تتحقق تقنيات التحقق من وقت التشغيل من سلوك النظام الديناميكي فيما يتعلق بمجموعة من المواصفات. غالبًا ما يتم إنشاء هذه المواصفات يدويًا بناءً على متطلبات النظام وقيوده. في هذه الورقة، نقدم نهجًا قائمًا على القواعد لإنشاء مواصفات التحقق من وقت التشغيل تلقائيًا استنادًا إلى التنبيهات التي يتم الإبلاغ عنها بواسطة أدوات تحليل التعليمات البرمجية الثابتة. نحدد مجموعة من القواعد ليتم التحقق من نوع التنبيه. تشير انتهاكات هذه القواعد إما إلى غياب أو وجود خطأ فعلي محدد بواسطة مثيلات هذا النوع من التنبيه. يتم إنشاء مواصفات التحقق الرسمية تلقائيًا لكل مثيل تنبيه تم الإبلاغ عنه بناءً على القواعد المحددة. وبعد ذلك، يتم تجميع أجهزة مراقبة وقت التشغيل تلقائيًا ودمجها في النظام. تقوم هذه الشاشات بالإبلاغ عن الأخطاء المكتشفة أو التنبيهات الإيجابية الخاطئة أثناء تنفيذ البرنامج. يتم تطبيق هذا النهج على نظامين برمجيين مفتوحي المصدر. |
| DOI | 10.1145/3019612.3019822 |
