LEADER |
04775nam a22003377a 4500 |
001 |
1520824 |
041 |
|
|
|a eng
|
100 |
|
|
|9 566579
|a المناصير، وريف عاطف
|e مؤلف
|
245 |
|
|
|a Automatic Test Data Generation for Java Card Applications
|
246 |
|
|
|a توليد الفحص الآلي لتطبيقات بطاقات الجافا
|
260 |
|
|
|a عمان
|c 2015
|
300 |
|
|
|a 1 - 93
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة ماجستير
|c الجامعة الاردنية
|f كلية الدراسات العليا
|g الاردن
|o 13052
|
520 |
|
|
|a في الوقت الحاضر، أصبح فحص البرمجيات أكثر ضرورة بما أن نظم المعلومات، لغات البرمجة، وأنظمة التشغيل أصبحت أكثر تعقيدا لضمان تقديم برامج ذات جودة عالية للمستخدم النهائي. فحص البرمجيات هي مرحلة هامة في تطوير البرمجيات. الهدف الرئيسي من عملية فحص البرمجيات هو إنتاج أقل قدر ممكن من بيانات الفحص بحيث أنها تكشف أكبر قدر ممكن من الأخطاء. الحاجة لجعل عملية توليد بيانات الفحص بشكل محوسب وإلى تتزايد، لأن التقنيات اليدوية المستخدمة مكلفة وبحاجة لأيدي عاملة، وتستغرق وقت. وقد استخدمت الخوارزمية الجينية لتوليد بيانات الفحص أليا. الأدلة المقدمة من قبل الباحثين في مجال اختبار البرمجيات تبين أن الخوارزمية الجينية قد استخدمت بنجاح كمولد لبيانات الفحص. الهدف من هذه الرسالة هو فحص تطبيقات بطاقات الجافا الذكية لإيجاد أكبر قدر ممكن من العيوب بأقل قدر ممكن من بيانات الفحص باستخدام الخوارزمية الجينية وفقا لمعايير التفرع. تعد بطاقات الجافا الذكية معيار مفتوح من شركة Sun Microsystems لتطوير البطاقات الذكية. البطاقات الذكية التي يتم أنشائها باستخدام الجافا تحتوي على برامج مخزنة فيها، وقد تم توظيف هذه البرامج في مجالات أساسية من حولنا لدعم عمليات الوصول وتحديد الهوية والدفع وغيرها من الخدمات. لذلك من المهم فحص هذه التطبيقات للتأكد من أنها تعمل كما هو متوقع. أثبتت النتائج التجريبية أن الخوارزمية الجينية تعطي نتائج جيدة عندما تستخدم كمولد لبيانات الفحص من أجل فحص تطبيقات بطاقات الجافا. وقد طبقنا الخوارزمية على ثمانية برامج بطاقة جافا، تم تحليل الأداء وفقا لثلاثة مقاييس: متوسط عدد الأجيال، وقت التنفيذ، ونسبة تغطية الفروع. وكانت الخوارزمية قادرة على توليد بيانات الفحص لتحقيق تغطية الفروع بنسبة 99%. من حيث متوسط عدد الأجيال، كان الحد الأقصى المحدد 700، كانت أفضل قيمة (أي أقل) سجلت هي 9.4 جيل. أما وقت التنفيذ، أفضل قيمة كانت 0.33 ثانية. والأهم من ذلك. لقد تم الكشف عن أنواع مختلفة من الأخطاء في البرامج التي تم فحصها وألقي العديد من الاستثناءات مثل incorrect boundary handling، uninitialized variables بالإضافة إلى Null Pointer Exceptions.
|
653 |
|
|
|a نظم المعلومات
|a فحص البرمجيات
|a بطاقات الجافا
|
700 |
|
|
|a محافظة، باسل علي
|g Mahafzah, Basel Ali
|e مشرف
|9 306112
|
700 |
|
|
|a الشريدة، محمد عارف
|g Alshraideh, Mohammad Aref
|e مشرف
|9 19061
|
856 |
|
|
|u 9802-001-008-13052-T.pdf
|y صفحة العنوان
|
856 |
|
|
|u 9802-001-008-13052-A.pdf
|y المستخلص
|
856 |
|
|
|u 9802-001-008-13052-C.pdf
|y قائمة المحتويات
|
856 |
|
|
|u 9802-001-008-13052-F.pdf
|y 24 صفحة الأولى
|
856 |
|
|
|u 9802-001-008-13052-1.pdf
|y 1 الفصل
|
856 |
|
|
|u 9802-001-008-13052-2.pdf
|y 2 الفصل
|
856 |
|
|
|u 9802-001-008-13052-3.pdf
|y 3 الفصل
|
856 |
|
|
|u 9802-001-008-13052-4.pdf
|y 4 الفصل
|
856 |
|
|
|u 9802-001-008-13052-O.pdf
|y الخاتمة
|
856 |
|
|
|u 9802-001-008-13052-R.pdf
|y المصادر والمراجع
|
930 |
|
|
|d y
|
995 |
|
|
|a Dissertations
|
999 |
|
|
|c 1045909
|d 1045909
|