طوّر مهاراتك في اختبار البرمجيات. مارس وأتقن النظريات والتقنيات والأدوات اللازمة لاختبار البرمجيات بفعالية. ما ستتعلمه
التمييز بين التحقق والتحقق من الصحة، مع توضيح الفروق الرئيسية بينهما.
كتابة اختبارات وظيفية آلية لكلٍّ من برمجيات الواجهة الأمامية والخلفية.
قياس فعالية اكتشاف الأخطاء في مجموعة الاختبارات الوظيفية باستخدام اختبار الطفرات.
الدفاع عن صحة البرنامج باستخدام أساليب رسمية، وتحديدًا التزامات الإثبات وفحص النموذج.