نهج لاكتشاف التناقضات بين النماذج السلوكية لهندسة البرمجيات والتعليمات البرمجية

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

نهج لاكتشاف التناقضات بين النماذج السلوكية لهندسة البرمجيات والتعليمات البرمجية

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

يرجى الانتظار