إنشاء مواصفات التحقق من وقت التشغيل بناءً على تنبيهات تحليل التعليمات البرمجية الثابتة
| العنوان | إنشاء مواصفات التحقق من وقت التشغيل بناءً على تنبيهات تحليل التعليمات البرمجية الثابتة |
|---|---|
| المؤلف | السيف، دولفين |
| تاريخ النشر: | 2017-12 |
| الموضوع | هندسة الكمبيوتر وعلوم الكمبيوتر والتحكم |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | 1d33144f-f30d-48df-b087-bb18e9bc22fe |
| موقع المكتبة | قسم علوم الحاسوب |
| التاريخ | 2017-12 |
| نص عينة | هناك طرق مختلفة للعثور على الأخطاء في نظام البرمجيات. أحد هذه الأساليب هو تحليل الكود الثابت، والذي يحاول تحقيق هذا الهدف من خلال تحليل الكود دون تنفيذه. نهج تكميلي آخر هو التحقق من وقت التشغيل، والذي يستخدم للتحقق من سلوك النظام الديناميكي فيما يتعلق بمجموعة من المواصفات في وقت التشغيل. غالبًا ما يتم إنشاء هذه المواصفات يدويًا بناءً على متطلبات النظام وقيوده. في هذه الأطروحة، نقترح منهجية جديدة ودعم أداة لإنشاء مواصفات التحقق من وقت التشغيل تلقائيًا بناءً على التنبيهات التي يتم الإبلاغ عنها بواسطة أدوات تحليل التعليمات البرمجية الثابتة. نحن نقدم لغة خاصة بالمجال لتحديد مجموعة من القواعد التي سيتم التحقق منها بحثًا عن نوع التنبيه. تشير انتهاكات القواعد إما إلى غياب أو وجود خطأ فعلي محدد بواسطة مثيلات هذا النوع من التنبيه. يتم إنشاء مواصفات التحقق الرسمية تلقائيًا لكل مثيل تنبيه تم الإبلاغ عنه بناءً على القواعد المحددة. وبعد ذلك، يتم تجميع أجهزة مراقبة وقت التشغيل تلقائيًا ودمجها في النظام. تقوم هذه الشاشات بالإبلاغ عن الأخطاء المكتشفة أو التنبيهات الإيجابية الخاطئة أثناء تنفيذ البرنامج. يمكن إعادة استخدام مجموعة القواعد عبر مشاريع مختلفة. لقد أجرينا دراسات حالة باستخدام نظامين برمجيين مفتوحي المصدر لتوضيح ذلك. تدعم أداتنا حاليًا استخدام أداتين مختلفتين لتحليل التعليمات البرمجية الثابتة لإنشاء أجهزة مراقبة وقت التشغيل بلغة Java. لقد تم تصميمه ليكون قابلاً للتمديد لدعم الأدوات الأخرى أيضًا. Bu yöntemlerden biri olan statik kod analizi koddaki hataların, kodun çalıştırılmadan ortaya çıkarılmasını sağlamaktadır. Bunu tamamlayıcı nitelikte olan çalışma zamanı doğrulama هو نظام ديناميكي davranışlarını yazılmış olan kurallara göre kontrol etmek için kullanılmaktadır. هذه القوائم العامة لنظام التشغيل والتثبيت مصنوعة يدويًا. ومع ذلك، فإن تحليل الكود الإحصائي araçlarının oluşturduğu yarılardan çalışma zamanı doğrulama kurallarını automatik olarak oluş- turan yeni bir yöntem ve araç geliştirilmiştir. Alana özgü bir dil gelishtirilerek, uyarı Tiplerine ozgü kurallar tanımlanması sağlanmıştır. Oluşturulan bu kuralların ihlal edilip edilmediğine göre hatanın gerçekleşip gerçekleşmediğine karar verilmektedir. لقد تم إستخدام هذه التقنية في وقت واحد من أجل تحسين الأداء التلقائي. هذا يعني أن نظام التشغيل الآلي متكامل ومتكامل. Bu izleyiciler yazılımla birlikte çalışarak tespit edilen hataları ve yanlış üretilmiş uyarıları Raporlamaktadır. Bir kere oluşturulan kurallarfarklı projelerde kullanılabilmektedir. Bu durumu gösterebilmek için ikifarklı açık kaynak kod üzerinde vaka çalışmaları gerçekleştirilmiştir. يمكنك استخدام برامج Java التي يمكنك استخدامها لتحليل إحصائيات كودك. Ayrıca bu araç, yeni statik kod araçlarını destekleyebilecek şekilde tasarlanmıştır. |
