مقدمة في التحليل الآلي للبرمجيات

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

• فهم أساسيات التحقق الآلي بواسطة العشوائية والتمثيلات الرمزية
• تمييز مزايا وعيوب الاختبار العشوائي والتحليل الرمزي والثابت ونمذجة الحالة
• استخدام أدوات التحليل الثابت والاختبار الآلي المتطورة للتحقق الآلي
• إنشاء متطلبات تنفيذية قابلة للاختبار الرمزي والتحليل الآلي
• فهم تأثير اختيار الأوراكل على اكتشاف الأخطاء في استراتيجيات التحليل
• استخدام الاختبار الآلي لتحقيق تغطية كافية للاختبارات التحويرية

• تثبيت بيئة تطوير متكاملة مثل Eclipse
• الإلمام بمصطلحات وممارسات الاختبار الأساسية