العنوان بلغة أخرى: |
توليد الفحص الآلي لتطبيقات بطاقات الجافا |
---|---|
المؤلف الرئيسي: | المناصير، وريف عاطف (مؤلف) |
مؤلفين آخرين: | محافظة، باسل علي (مشرف) , الشريدة، محمد عارف (مشرف) |
التاريخ الميلادي: |
2015
|
موقع: | عمان |
الصفحات: | 1 - 93 |
رقم MD: | 1045909 |
نوع المحتوى: | رسائل جامعية |
اللغة: | الإنجليزية |
الدرجة العلمية: | رسالة ماجستير |
الجامعة: | الجامعة الاردنية |
الكلية: | كلية الدراسات العليا |
الدولة: | الاردن |
قواعد المعلومات: | Dissertations |
مواضيع: | |
رابط المحتوى: |
المستخلص: |
في الوقت الحاضر، أصبح فحص البرمجيات أكثر ضرورة بما أن نظم المعلومات، لغات البرمجة، وأنظمة التشغيل أصبحت أكثر تعقيدا لضمان تقديم برامج ذات جودة عالية للمستخدم النهائي. فحص البرمجيات هي مرحلة هامة في تطوير البرمجيات. الهدف الرئيسي من عملية فحص البرمجيات هو إنتاج أقل قدر ممكن من بيانات الفحص بحيث أنها تكشف أكبر قدر ممكن من الأخطاء. الحاجة لجعل عملية توليد بيانات الفحص بشكل محوسب وإلى تتزايد، لأن التقنيات اليدوية المستخدمة مكلفة وبحاجة لأيدي عاملة، وتستغرق وقت. وقد استخدمت الخوارزمية الجينية لتوليد بيانات الفحص أليا. الأدلة المقدمة من قبل الباحثين في مجال اختبار البرمجيات تبين أن الخوارزمية الجينية قد استخدمت بنجاح كمولد لبيانات الفحص. الهدف من هذه الرسالة هو فحص تطبيقات بطاقات الجافا الذكية لإيجاد أكبر قدر ممكن من العيوب بأقل قدر ممكن من بيانات الفحص باستخدام الخوارزمية الجينية وفقا لمعايير التفرع. تعد بطاقات الجافا الذكية معيار مفتوح من شركة Sun Microsystems لتطوير البطاقات الذكية. البطاقات الذكية التي يتم أنشائها باستخدام الجافا تحتوي على برامج مخزنة فيها، وقد تم توظيف هذه البرامج في مجالات أساسية من حولنا لدعم عمليات الوصول وتحديد الهوية والدفع وغيرها من الخدمات. لذلك من المهم فحص هذه التطبيقات للتأكد من أنها تعمل كما هو متوقع. أثبتت النتائج التجريبية أن الخوارزمية الجينية تعطي نتائج جيدة عندما تستخدم كمولد لبيانات الفحص من أجل فحص تطبيقات بطاقات الجافا. وقد طبقنا الخوارزمية على ثمانية برامج بطاقة جافا، تم تحليل الأداء وفقا لثلاثة مقاييس: متوسط عدد الأجيال، وقت التنفيذ، ونسبة تغطية الفروع. وكانت الخوارزمية قادرة على توليد بيانات الفحص لتحقيق تغطية الفروع بنسبة 99%. من حيث متوسط عدد الأجيال، كان الحد الأقصى المحدد 700، كانت أفضل قيمة (أي أقل) سجلت هي 9.4 جيل. أما وقت التنفيذ، أفضل قيمة كانت 0.33 ثانية. والأهم من ذلك. لقد تم الكشف عن أنواع مختلفة من الأخطاء في البرامج التي تم فحصها وألقي العديد من الاستثناءات مثل incorrect boundary handling، uninitialized variables بالإضافة إلى Null Pointer Exceptions. |
---|