230815690 التحقق وإختبار البرمجيات ( 3 ساعة معتمدة )

متطلبات سابقة : 230814230

يتناول المساق مواصفات التصميم ومتطلبات البرامج، والتحقق من صحة مواصفات البرنامج من ناحية: اكتمالها واتساقها وجدوتها واختبارها. ويتناول المساق تصميم مكونات البرنامج ودراسة العيوب الناتجة عن التواصل ، و / أو الحساب ، و / أو مواصفات البيانات. والطرق القائمة على المعرفة للتحقق من الصحة، وأنظمة جيل الاختبار والأدوات (VERILOG).