يهدف
مقرر اختبار البرمجيات
(CS420) بشكل أساسي إلى التحقق من فاعلية
وصحة البرامج، من خلال تزويد الطلاب بالمفاهيم الأساسية والتقنيات والأساليب
المختلفة المستخدمة في هذا المجال بالإضافة إلى إعداد خطط الاختبار. وتتمثل مخرجات التعلم المستهدفة في تمكين
الطالب من الإلمام بمفهوم عملية الاختبار، والقدرة على اشتقاق المدخلات من مواصفات
المتطلبات، وتطبيق تقنيات الاختبار اليدوية والآلية مثل الصندوق الأسود (Black box) والصندوق الأبيض (White box). كما يسعى المقرر إلى تنمية المهارات
الذهنية والمهنية للطالب في تصميم الاختبارات، والمقارنة بين منهجياتها لضمان جودة
البرمجيات، واستخدام الأدوات البرمجية والمصححات (Debuggers) لتحديد
الأخطاء وتقديم الحجج المنطقية التي تثبت صحة التطبيقات.
أما
بالنسبة للمحتوى العلمي، فيغطي المقرر مواضيع تخصصية تبدأ بمقدمة عن
الاختبار والتحقق والمصادقة
(Verification and Validation) وأساسيات الاختبار. ثم ينتقل إلى دراسة
اختبار النظم وتقنيات اختيار الاختبارات، يليه اختبار الوحدات (Unit Testing) والأتمتة في الاختبار. كما يتناول المقرر
بعمق مفاهيم كفاية الاختبار والاختبار الهيكلي
(Structural Testing) الذي يشمل مسارات وتدفق البيانات، بالإضافة إلى
الاختبار القائم على الأخطاء
(Mutation Testing)، ويُختتم المقرر بمقدمة في تصحيح الأخطاء
(Debugging) وكيفية استخدام الأدوات المساعدة في ذلك لضمان تحسين الأنظمة البرمجية.
