تحليل مدى توفر بدائل تحليل بنية البرمجيات للاسترداد المحلي
| العنوان | تحليل مدى توفر بدائل تحليل بنية البرمجيات للاسترداد المحلي |
|---|---|
| المؤلف | سوزر، حسن، ستولينجا، م.، بودالي، ح.، أكسيت، م. |
| تاريخ النشر: | 2017 |
| الموضوع | الاعتمادية، التوفر، التسامح مع الأخطاء، الاسترداد المحلي، تقييم بنية البرمجيات |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 0963-9314 |
| رقم السجل | d4294525-99bc-48db-9423-94e28bf1dc26 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2017 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | نقدم منهجية فعالة وسهلة الاستخدام للتنبؤ - في وقت التصميم - بتوفر الأنظمة التي تدعم التعافي المحلي. تعمل تقنيات التحليل لدينا على المستوى المعماري، حيث يقوم مصمم البرنامج ببساطة بإدخال تحليل وحدات البرنامج مع توضيح معدلات الفشل والإصلاح. ومن هذا التحليل، نقوم تلقائيًا بإنشاء نموذج تحليلي (سلسلة ماركوف المستمرة)، والذي يتم من خلاله حساب مقياس التوفر، بطريقة آلية بالكامل. والخطوة الحاسمة هي استخدام النماذج المتوسطة في شكلية سلسلة ماركوف التفاعلية للمدخلات والمخرجات، مما يجعل تقنياتنا فعالة وصارمة رياضيًا وسهلة التكيف. على وجه الخصوص، نحن نستخدم تقنيات تصغير قوية للحفاظ على حجم مساحات الحالة المولدة صغيرًا. لقد قمنا بتطبيق منهجيتنا على دراسة حالة واقعية، وهي برنامج MPlayer مفتوح المصدر. لقد قمنا بالتحقق من أربعة بدائل مختلفة للتحليل وقارنا نتائجنا التحليلية مع مدى التوفر المُقاس على مشغل MPlayer. لقد وجدنا أن نتائجنا المتوقعة تتطابق بشكل وثيق مع النتائج المقاسة. |
| DOI | 10.1007/s11219-016-9315-9 |
| Cilt | 25 |
