توسيع التحليل الثابت بقواعد خاصة بالتطبيق من خلال تحليل آثار تنفيذ وقت التشغيل
| العنوان | توسيع التحليل الثابت بقواعد خاصة بالتطبيق من خلال تحليل آثار تنفيذ وقت التشغيل |
|---|---|
| المؤلف | ارسوي، ارسين |
| تاريخ النشر: | 2016-07 |
| الموضوع | هندسة الكمبيوتر وعلوم الكمبيوتر والتحكم، لغات برامج الكمبيوتر، برامج الكمبيوتر، البرامج التطبيقية، تحليل الكود الثابت |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | f33a9eeb-7ca7-4a01-9f5b-5222df73c3da |
| موقع المكتبة | قسم الهندسة الكهربائية والإلكترونية |
| التاريخ | 2016-07 |
| نص عينة | يمكن لأدوات تحليل التعليمات البرمجية الثابتة إنشاء تنبيهات بخصوص المشكلات العامة فقط مثل المتغيرات غير المهيأة. لا يمكنهم اكتشاف انتهاكات القواعد الخاصة بالتطبيق. ويمكن توسيع الأدوات باستخدام أدوات فحص متخصصة تقوم بتنفيذ التحقق من هذه القواعد. ومع ذلك، عادة لا يتم توثيق هذه القواعد بشكل صريح. علاوة على ذلك، فإن تنفيذ عمليات التدقيق المتخصصة هي عملية يدوية تتطلب خبرة. في هذه الأطروحة، نقدم طريقة جديدة لتوفير هذه الامتدادات تلقائيًا. في نهجنا، يتم استخراج قواعد البرمجة الخاصة بالتطبيق تلقائيًا من آثار التنفيذ التي تم جمعها في وقت التشغيل. ويتم تحليل هذه الآثار لتحديد قواعد البرمجة التي يؤدي انتهاكها إلى حدوث أخطاء. بعد ذلك، يتم تقديم أدوات فحص متخصصة لهذه القواعد كامتداد لأداة تحليل ثابتة بحيث يمكن التحقق من انتهاكاتها عبر الكود المصدري. قمنا بتقييم نهجنا من خلال دراستين حالة صناعية من مجال الاتصالات. تمكنا من اكتشاف الأخطاء الحقيقية باستخدام أدوات الداما التي تم إنشاؤها تلقائيًا بناءً على تحليل سجلات التنفيذ. لا يمكن أن يكون هناك أي مشكلة في هذا الأمر. Uygulamaya özel kuralların ihlalini is mevcut araçlar algılayamamaktadırlar. في هذه الحالة، يتم تحسين التحكم في الأجهزة وإيقاف تشغيلها. قد يكون هذا أمرًا طبيعيًا بالنسبة لك. Üzelleştirilmiş kontrol kuralları manuel olarak hazırlanmaktadır ve uzmanlık gerektiren bir iştir. ومع ذلك، يتم تحليل الكود الإحصائي تلقائيًا من خلال عملية إنشاء رمز ثابت. Bu yaklaşımda, uygulamaya özel Programlama kuralları, uygulama çalışırken oluşan kayıtlardan olarak elde edilmektedir. Bu kayıtlar çevrimdışı olarak analiz edilip hataya neden olan Programlama kuralı ihlali bulunmaktadır. Sonrasında, beliirlenen hataya uygun an zelleştirilmiş control kuralı kullanılarak statik kod analiz aracı genişletilmektedir and ugulamanın tamamı genişletilen araç ile analizmektedir. يمكنك إجراء التحليلات اللازمة لاتصالات الهاتف المحمول. يقوم Uygulamaların çalışması esnasında toplanan kayıtların ananalizi sonucunda oluşturulan özelleştirilmiş kontrol kuralları ile gerçek hataların bulunabildiği görülmüştür. |
