الاختبار القائم على النماذج المستندة إلى المخاطر
| العنوان | الاختبار القائم على النماذج المستندة إلى المخاطر |
|---|---|
| المؤلف | كيركيسي، عبد الهادي |
| تاريخ النشر: | 2018-05 |
| الموضوع | هندسة الكمبيوتر وعلوم الكمبيوتر والتحكم |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | 24cc8c9d-8082-42c8-b730-03e0a89d52a1 |
| موقع المكتبة | قسم علوم الحاسوب |
| التاريخ | 2018-05 |
| نص عينة | أصبحت البرمجيات أكبر وأكثر تعقيدًا في المنتجات الإلكترونية الاستهلاكية. ونتيجة لذلك، أصبح اختبار موثوقية هذه المنتجات تحديًا كبيرًا. أنشطة الاختبار التقليدية واليدوية ليست فعالة وكفوءة في تحديد الأخطاء. ونتيجة لذلك، يتم استبدال أنشطة الاختبار اليدوية بتقنيات آلية. يعد الاختبار المعتمد على النماذج أحد هذه التقنيات. يستخدم نماذج الاختبار كمدخلات ويقوم بأتمتة إنشاء حالات الاختبار. ومع ذلك، فإن هذه النماذج كبيرة جدًا بالنسبة للأنظمة على مستوى الصناعة. وبالتالي، فإن عدد حالات الاختبار التي تم إنشاؤها يمكن أن يكون كبيرًا جدًا أيضًا. ومع ذلك، ليس من الممكن اختبار كل وظائف النظام بشكل شامل بسبب الموارد المحدودة للغاية في مجال الإلكترونيات الاستهلاكية. يجب اختبار سيناريوهات استخدام النظام المرتبطة باحتمالية عالية للفشل فقط. ولذلك، فإننا نقترح نهج اختبار قائم على نموذج يحركه المخاطر في هذه الأطروحة. بموجب هذا، يتم تعزيز نماذج الاختبار بالمعلومات المتعلقة بمخاطر الفشل. تُستخدم سلاسل ماركوف للتعبير عن هذه النماذج، والتي تتكون أساسًا من حالات وانتقالات. يتم شرح كل انتقال حالة مع احتمال. تُستخدم قيم الاحتمالية لإنشاء حالات اختبار تغطي التحولات ذات قيم الاحتمالية الأعلى. يقوم النهج المقترح بتحديث قيم احتمالية الانتقال بناءً على ثلاثة أنواع من التحليل لتقدير المخاطر. أولاً، يتم استخدام ملف تعريف الاستخدام لتحديد ميزات النظام الأكثر استخدامًا. ثانيا، يتم استخدام التحليل الثابت لتقدير احتمال الخطأ في كل حالة. ثالثًا، يتم استخدام التحليل الديناميكي لتقدير احتمالية الخطأ في كل حالة. يتم تحديث نماذج الاختبار بناءً على هذه التحليلات والتقديرات بشكل متكرر. ويتم تقييم هذا النهج من خلال ثلاث دراسات حالة صناعية لاختبار أجهزة التلفاز الرقمية والهواتف الذكية والغسالات. تظهر النتائج أن هذا النهج يزيد من كفاءة الاختبار من خلال الكشف عن المزيد من الأخطاء في وقت اختبار أقل. Bu eğilim, ürünlerin test edilmesi ve güvenilirliklerinden emin olunması için zorluk teşkil etmektedir. Geleneksel ve manuel test süreçleri, critik hatalarının tespit edilmesinde Yetersiz ve verimsiz kalmaktadır. The süreçleri iileştimek and automatik will getirmek için ceşitli teknikler kullanılagelmiştir. اختبار النماذج، اختبار yararlanarak التلقائي، adımlarının oluşturulmasını sağlayan model bazlı test، bu tekniklerden birisidir. إن أنظمة البطانة الداخلية مصممة خصيصًا لمصممي نماذج الاختبار، كما أنها تقدم اختبارًا ممتازًا. قد تتمكن أيضًا من اختبار ميزات الاتصال الإلكترونية التي توفرها أنظمة التشغيل الخاصة بك. Bu sebepten dolayı, bu tezde Risk odaklı model bazlı test yaklaşımı önerilmektedir. من المؤكد أن نماذج الاختبار قد تكون خطرة بسبب مخاطرها. نماذج الاختبار، التي تم تصميمها بشكل قوي من قبل ماركوف، تم تصميمها من قبل ماركوف. Bu değerler, yüksek olasılıklı senaryoları kapsayacak şekilde test adımlarının automatik üretim sürecini yönlendirmektedir. من المؤكد أن هذه المخاطر قد تكون خطيرة للغاية، حيث يتم تحليل أنواع المخاطر المحتملة بشكل كبير. بالإضافة إلى ذلك، يمكنك تحليل ملفك الشخصي من خلال حساب كل مستخدم. في هذه الحالة، يقوم النظام بتحليل البيانات الإحصائية بدقة. ÜçÜncÜ olarak ise, hata tahmini için dinamik analiz kullanılmaktadır. تم تصميم نماذج الاختبار والتحليل والتحليل بشكل جيد. يمكنك تشغيل التلفزيون الرقمي وتلفاز الهاتف وآلات الغلق، مما يؤدي إلى غلق مجاري الهواء وإغلاقها. Elde edilen sonuçlar, yaklaşımın kısa surede daha fazla hata tespit edilmesini sağlayarak test verimliliğini arttırdığını göstermektedir. |
