توسيع تحليل التعليمات البرمجية الثابتة بقواعد خاصة بالتطبيق من خلال تحليل آثار تنفيذ وقت التشغيل
| العنوان | توسيع تحليل التعليمات البرمجية الثابتة بقواعد خاصة بالتطبيق من خلال تحليل آثار تنفيذ وقت التشغيل |
|---|---|
| المؤلف | إرسوي، إي.، سوزر، حسن |
| تاريخ النشر: | 2016 |
| مكان النشر | - سبرينغر الدولية للنشر |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 1865-0929 |
| رقم السجل | 3e09db48-6724-4a8e-a1c0-51a0848bfb63 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2016 |
| ملاحظات | توبيتاك |
| نص عينة | لا تستطيع أدوات التحليل الثابت اكتشاف انتهاكات القواعد الخاصة بالتطبيق. ويمكن تمديدها باستخدام مدققين متخصصين يقومون بتنفيذ التحقق من هذه القواعد. ومع ذلك، عادة لا يتم توثيق هذه القواعد بشكل صريح. علاوة على ذلك، فإن تنفيذ عمليات التدقيق المتخصصة هي عملية يدوية تتطلب خبرة. في هذا العمل، يتم استخراج قواعد البرمجة الخاصة بالتطبيق تلقائيًا من آثار التنفيذ التي تم جمعها في وقت التشغيل. يتم تحليل هذه الآثار دون الاتصال بالإنترنت لتحديد قواعد البرمجة. بعد ذلك، يتم تقديم أدوات فحص متخصصة لهذه القواعد كامتداد لأداة تحليل ثابتة بحيث يمكن التحقق من انتهاكاتها عبر الكود المصدري. قمنا بتنفيذ نهجنا الخاص ببرامج Java، مع الأخذ في الاعتبار 3 أنواع من الأخطاء. لقد قمنا بإجراء تقييم مع دراسة حالة صناعية من مجال الاتصالات. تمكنا من اكتشاف الأخطاء الحقيقية باستخدام أدوات الداما التي تم إنشاؤها بناءً على تحليل سجلات التنفيذ. |
| DOI | 10.1007/978-3-319-47217-1_4 |
| Cilt | 659 |
