Document

An Automated test case generation based on design patterns.

Source
Master's thesis
Other titles
إنشاء آلي لحالات الاختبار استنادا إلى أنماط التصميم
Country
Oman
City
Muscat
Publisher
Sultan Qaboos University
Gregorian
2024
Language
English
Thesis Type
Master's thesis
English abstract
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.
Arabic abstract
تعد عملية اختبار الانظمة جزءا لا يتجزأ من دورة حياة تطوير البرمجيات. حيث تهدف إلى إنشاء إطار عمل صارم للغاية وتحديد ما إذا كانت النتائج الفعلية تتوافق مع النتائج المتوقعة أم ال؛ لتؤكد خلو النظام من الاخطاء لإنتاج نتائج أكثر دقة وموثوقية. يعد الاختبار الالي القائم على لغة النماذج (UML (أحد الطرق البارزة؛ حيث تُعد لغة النماذج . تقوم هذه النماذج بتمثيل الميزات المهمة والمرغوبة ألي نظام قيد (UML (المعيار الفعلي لتمثيل الانظمة نموذجياً م آلياً. الدراسة. كما وتُستخدم هذه النماذج كجزء أساسي إلنشاء لحالات الاختبار ألي نظا على الرغم من أن اختبار الانظمة القائم على النماذج والذي يتم إجراؤه في المراحل المبكرة من دورة حياة تطوير البرمجيات؛ يُظهر كفاءة أعلى، الا أنه ال يزال يواجه بعض التحديات، بما في ذلك استنزاف الوقت والجهد. يعود السبب الرئيسي وراء هذه التحديات هو أن الطريقة الحالية تعتمد على نماذج تفتقر بعض الدالالت والمعاني الهامة والالزمة لتمثيل الانظمة؛ أي بمعنى آخر لا تأخذ بعين الاعتبار أنماط التصميم المعروفة. ومن هذا المنطلق، يهدف هذا المشروع إلى معالجة هذه التحديات من خلال الاخذ بعين الاعتبار أنماط التصميم عند إنشاء أي نموذج لأي نظام، وبعد ذلك يتم إنشاء حالات الاختبار آليا بناءا على هذا النموذج. سيساهم هذا المقترح في تقليل الجهد المطلوب للاختبار الالي القائم على هذا النموذج.
Category
Theses and Dissertations