تحليل الكود الثابت المتكامل والتحقق من وقت التشغيل
| العنوان | تحليل الكود الثابت المتكامل والتحقق من وقت التشغيل |
|---|---|
| المؤلف | سوزر، حسن |
| تاريخ النشر: | 2015-10 |
| مكان النشر | - وايلي |
| الموضوع | التحقق من البرامج، التحقق من وقت التشغيل، تحليل التعليمات البرمجية الثابتة، تحويلات النماذج، تكامل الأدوات |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 1097-024X |
| رقم السجل | 3148c4b7-ec38-41e5-95da-9391124210a5 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2015-10 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | تقوم أدوات تحليل التعليمات البرمجية الثابتة تلقائيًا بإنشاء تنبيهات لأخطاء البرامج المحتملة التي يمكن أن تؤدي إلى الفشل. ومع ذلك، عادةً ما تولد هذه الأدوات عددًا كبيرًا جدًا من التنبيهات، وبعضها يخضع لنتائج إيجابية كاذبة. نظرًا لمحدودية الموارد، عادةً ما يكون من الصعب فحص جميع التنبيهات. كنهج تكميلي، تتحقق تقنيات التحقق من وقت التشغيل من سلوك النظام الديناميكي فيما يتعلق بمجموعة من المواصفات. ومع ذلك، عادةً ما يتم إنشاء هذه المواصفات يدويًا بناءً على متطلبات النظام وقيوده. في هذه الورقة، نقدم نهجًا جديدًا وسلسلة أدوات لتحليل الكود الثابت المتكامل والتحقق من وقت التشغيل. يتم استخدام التنبيهات التي يتم إنشاؤها بواسطة أدوات تحليل التعليمات البرمجية الثابتة لإنشاء مواصفات التحقق من وقت التشغيل تلقائيًا. من ناحية أخرى، يتم استخدام نتائج التحقق من وقت التشغيل لإنشاء مرشحات تلقائيًا لأدوات تحليل التعليمات البرمجية الثابتة لإزالة النتائج الإيجابية الخاطئة. تم توضيح هذا النهج للتحليل الثابت والتحقق من وقت التشغيل لبرنامج إدارة المراجع الببليوغرافية مفتوح المصدر. |
| DOI | 10.1002/spe.2287 |
| Cilt | 45 |
