التحسين الآلي للنماذج للاختبار القائم على النموذج
| العنوان | التحسين الآلي للنماذج للاختبار القائم على النموذج |
|---|---|
| المؤلف | جيبزلي، سيرين شاهين |
| تاريخ النشر: | 2017-07 |
| الموضوع | اختبار البرمجيات، الاختبار القائم على النماذج، دراسة الحالة الصناعية، الاختبار الاستكشافي، الاختبار القائم على المخاطر، هندسة خطوط إنتاج البرمجيات، علوم الكمبيوتر |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | a753b0b5-4234-4229-aa00-c618c1beac13 |
| موقع المكتبة | قسم علوم الحاسوب |
| التاريخ | 2017-07 |
| نص عينة | يتيح الاختبار القائم على النموذج (MBT) الإنشاء التلقائي لحالات الاختبار بناءً على نماذج النظام. لقد تم تطبيقه بنجاح في مجالات التطبيق المختلفة، كل منها قد يطرح تحديات محددة. في هذه الأطروحة، نقدم أساليب وأدوات لمعالجة بعض هذه التحديات في مجال الإلكترونيات الاستهلاكية. على وجه الخصوص، نحن نركز على اختبار أنظمة التلفزيون الرقمي كدراسة حالة لدينا. لقد حددنا المشاكل الثلاث التالية في هذا السياق: 1) يتم إنشاء نماذج النظام بناءً على مواصفات المتطلبات، والتي غالبًا ما تكون غير كاملة وغير دقيقة. ولذلك، تخضع هذه النماذج للإغفالات العرضية لسلوك معين في النظام. ونتيجة لذلك، يمكن ترك الأخطاء الحرجة دون اكتشافها من خلال حالات الاختبار التي تم إنشاؤها. 2) الموارد محدودة للغاية في مجال الإلكترونيات الاستهلاكية. ليس من الممكن تحقيق تغطية واسعة النطاق لنماذج الاختبار. 3) غالبًا ما تشتمل عائلة المنتجات في مجال الإلكترونيات الاستهلاكية على مئات الأنظمة. يمكن أن تختلف مجموعة الميزات بشكل كبير بين هذه الأنظمة. ولذلك، يجب أن تكون عملية MBT والنمذجة مرنة لإدارة التباين بشكل منهجي وزيادة مقدار إعادة الاستخدام لنماذج الاختبار. لمعالجة المشكلة الأولى، نقدم نهجًا وأداة لتوسيع نماذج الاختبار تلقائيًا استنادًا إلى مجموعة من آثار التنفيذ المجمعة. يتم جمع هذه الآثار أثناء أنشطة الاختبار الاستكشافي (ET). تم اكتشاف العديد من الأخطاء الخطيرة في 3 دراسات حالة بعد إنشاء حالات اختبار بناءً على نماذج موسعة. لم يتم الكشف عن هذه الأخطاء من خلال المجموعة الأولية لحالات الاختبار. لقد تم تفويتهم أيضًا أثناء أنشطة ET. كحل للمشكلة الثانية، نقوم بتحديث نماذج الاختبار بشكل متكرر في 3 خطوات لتركيز عملية إنشاء حالة الاختبار فقط على مسارات التنفيذ المعرضة لحالات فشل شديدة للغاية. نحن نستخدم سلاسل ماركوف كنماذج اختبار، حيث يتم شرح التحولات بين الحالات بقيم الاحتمالية. أولاً، نقوم بتحديث هذه القيم بناءً على ملف تعريف الاستخدام. ثانيًا، نقوم بإجراء تحديث بناءً على احتمالية الخطأ التي يتم تقديرها من خلال تحليل التعليمات البرمجية الثابتة. يعتمد تحديثنا الثالث على احتمالية الخطأ التي يتم تقديرها من خلال التحليل الديناميكي. نقوم بإنشاء وتنفيذ حالات اختبار وفقًا للقيم المحدثة بعد كل تكرار للتحديثات. يمكن اكتشاف أخطاء جديدة بعد كل تكرار. لمعالجة مشكلة التباين، قمنا بتوثيق الاختلافات بين الأنظمة التي تم اختبارها بشكل واضح باستخدام نموذج الميزة. نقوم بتعيين الميزات الاختيارية والبديلة في نموذج الميزة لمجموعة من الحالات في نموذج الاختبار. يتم تحديث احتمالات الانتقال في نموذج الاختبار وفقًا للميزات المحددة بحيث تركز حالات الاختبار التي تم إنشاؤها على هذه الميزات فقط. يسهل هذا النهج إعادة استخدام نموذج الاختبار للعديد من الأنظمة. MBT، لها كيندين لديها zorlukları beraberinde getiren çeşitli uygulama alanlarında kullanılmaktadır. Biz bu tezde, tüketici elektroniği alanındaki zorlukları adreslemek için metot and araçlar öneriyoruz. Özellikle vaka çalışması olarak Dijital TV sistemlerinin odaklanmaktayız. Bu bağlamda 3مشكلة belerledik; i) يتم تحليل نماذج نماذج النظام بشكل أساسي من خلال تحسين الأداء والتحليل بشكل عام. هذا هو السبب في أن نظام النمذجة هو الأفضل بالنسبة لك. يتم إضافة المزيد من الخبرة إلى اختبار المؤهلات للحصول على المزيد من المال. ii) tüketici electroniği alanında kaynaklar çok kısıtlıdır. اختبار Modellerinin kapsamını ve böylece oluşturulan test adımlarının sayısını sürekli arttırmak elverişli değildir. iii) يتم استخدام جميع الأجهزة الإلكترونية في نظام التشغيل الخاص بك. يوفر نظام التشغيل الخاص بك خيارات إضافية. علاوة على ذلك، فإن MBT مضمونة واختبار النماذج، ويتم تصميمها بشكل منهجي من خلال التعلم واختبار النماذج من خلال إنشاء نماذج اختبارية. هناك مشكلة في إنشاء نموذج اختبار، ونموذج اختبار، ونموذج تخطيطي مبسط، ونموذج آلي، ومبتكر. Bu izler araştırmaya yönetilik test activiteleri sırasında toplanmaktadır. من خلال 3 طرق مختلفة، يقوم مصممو النماذج الجدد بإجراء اختبار إضافي إضافي على النقد النقدي الذي يقومون به. Bu hatalar daha önce araştırmaya yönetilik test activiteleri sırasında bulunamamıştı. إذا كنت ترغب في إجراء اختبار نموذجي، فإن اختبار نموذج الاختبار الذي يجب أن تقوم به هو اختبار قابلية الإنجاب، 3 سنوات من التكرار. تم اختبار نماذج النماذج، مما أدى إلى إنشاء نماذج اختبارية لماركوف زينسيرليريني كولانييوروز. أيًا كان الأمر، فإن العارضين الذين ينشئون ملفًا شخصيًا لهم هم أكثر ذكاءً. في هذه الحالة، يتم تحليل الكود الإحصائي من خلال نماذج محددة للغاية. يعد التحليل الديناميكي للتحليل الديناميكي أمرًا مهمًا للغاية. Her bir güncelleme iterasyonu sonrası, güncellenen olasılık bilgilerine gore, test adımlarını tekrar üretip çalıştırıyoruz. Vaka çalışmalarında, bu yaklaşım ile her biterasyon sonrası yeni hatalar bulunmuştur. هذه هي المشاكل التي تواجهك في حل المشكلات, اختبار أنظمة مختلفة لنماذج النماذج المختلفة أو غيرها. يتم إنشاء نماذج اختبارية باستمرار، ويمكن اختيار نماذج الخيارات والخيارات البديلة. Üretilen test adımlarının bu ozelliklere odaklanabilmesi için، اختبار Modellerindeki geçiş olasılıklarını seçilen ozelliklere göre günceliyoruz. Bu yaklaşım sayesinde birçok sistem için test modellerinin tekrar kullanılabilmesi sağlanmıştır. |
