نهج لاكتشاف التناقضات بين النماذج السلوكية لهندسة البرمجيات والتعليمات البرمجية
| العنوان | نهج لاكتشاف التناقضات بين النماذج السلوكية لهندسة البرمجيات والتعليمات البرمجية |
|---|---|
| المؤلف | تشيراكي، س.، سوزر، حسن، تكينردوغان، ب. |
| تاريخ النشر: | 2012 |
| مكان النشر | - IEEE |
| الموضوع | بنيات البرمجيات، التحقق من وقت التشغيل، اكتشاف عدم الاتساق |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 0730-3157 |
| رقم السجل | 4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2012 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | من الناحية العملية، قد تنشأ تناقضات بين التوثيق المعماري والكود بسبب التنفيذ غير السليم للهندسة المعمارية أو التطور المنفصل وغير المنضبط للكود. تم اقتراح عدة طرق لاكتشاف التناقضات بين البنية والتعليمات البرمجية، ولكن تميل هذه الأساليب إلى أن تكون محدودة لالتقاط التناقضات التي قد تحدث في وقت التشغيل. نقدم طريقة للتحقق من وقت التشغيل لاكتشاف التناقضات بين السلوك الديناميكي للبنية الموثقة وسلوك وقت التشغيل الفعلي للنظام. يتم دعم هذا النهج من خلال مجموعة من الأدوات التي تنفذ البنية وأنماط التعليمات البرمجية في Prolog، وتقوم تلقائيًا بإنشاء مراقبات وقت التشغيل لاكتشاف التناقضات. نوضح النهج ومجموعة الأدوات لدراسة حالة نظام إدارة الأزمات. |
| DOI | 10.1109/COMPSAC.2012.36 |
