وثيقة
An Automated test case generation based on design patterns.
المصدر
Master's thesis
عناوين أخرى
إنشاء آلي لحالات الاختبار استنادا إلى أنماط التصميم
الدولة
Oman
مكان النشر
Muscat
الناشر
Sultan Qaboos University
ميلادي
2024
اللغة
الأنجليزية
الموضوع
نوع الرسالة الجامعية
Master's thesis
الملخص الإنجليزي
Software testing is an essential part of the software development life cycle. It aims to
create a highly uncompromising framework. It is used also to determine whether or not the
provided outcomes match the anticipated results and confirms that the system is error-free to
produce more precise, trustworthy results. Automated testing based on UML is one of the
testing approaches and has become the de facto standard for software modeling. Models are
specified to represent the relevant, desirable features of the System Under Consideration (SUC).
These models are used as a basis for automatically generating test cases to be applied to the
SUC.
Although, model-based testing that conducted on early phase of software development
process show higher efficiency, it still has some issues, time consuming and effort consuming.
The reason of these issues is that the existing model-based testing approaches are based on
models that lack of semantics and don’t take into consideration the specificity of the used design
patterns. This project will target these gaps by taking into consideration the semantic described
in the used software patterns in the development process. It proposes an approach where
automated testing will be enriched by the description of the design pattern knowledge and then
the proper test cases will be generated based on this knowledge. This also will help to reduce
the efforts in the automated model-based testing.
الملخص العربي
تعد عملية اختبار الانظمة جزءا لا يتجزأ من دورة حياة تطوير البرمجيات. حيث تهدف إلى إنشاء إطار عمل صارم للغاية وتحديد ما إذا كانت النتائج الفعلية تتوافق مع النتائج المتوقعة أم ال؛ لتؤكد خلو النظام من الاخطاء لإنتاج نتائج أكثر دقة وموثوقية. يعد الاختبار الالي القائم على لغة النماذج (UML (أحد الطرق البارزة؛ حيث تُعد لغة النماذج . تقوم هذه النماذج بتمثيل الميزات المهمة والمرغوبة ألي نظام قيد (UML (المعيار الفعلي لتمثيل الانظمة نموذجياً م آلياً. الدراسة. كما وتُستخدم هذه النماذج كجزء أساسي إلنشاء لحالات الاختبار ألي نظا على الرغم من أن اختبار الانظمة القائم على النماذج والذي يتم إجراؤه في المراحل المبكرة من دورة حياة تطوير البرمجيات؛ يُظهر كفاءة أعلى، الا أنه ال يزال يواجه بعض التحديات، بما في ذلك استنزاف الوقت والجهد. يعود السبب الرئيسي وراء هذه التحديات هو أن الطريقة الحالية تعتمد على نماذج تفتقر بعض الدالالت والمعاني الهامة والالزمة لتمثيل الانظمة؛ أي بمعنى آخر لا تأخذ بعين الاعتبار أنماط التصميم المعروفة. ومن هذا المنطلق، يهدف هذا المشروع إلى معالجة هذه التحديات من خلال الاخذ بعين الاعتبار أنماط التصميم عند إنشاء أي نموذج لأي نظام، وبعد ذلك يتم إنشاء حالات الاختبار آليا بناءا على هذا النموذج. سيساهم هذا المقترح في تقليل الجهد المطلوب للاختبار الالي القائم على هذا النموذج.
قالب العنصر
الرسائل والأطروحات الجامعية