20946 מבוא לבדיקות תוכנה (אנגלית)
20946 מבוא לבדיקות תוכנה (אנגלית)1
4 נקודות זכות ברמה מתקדמת ללא אפשרות לכתיבת עבודה סמינריונית
שיוך: הנדסה / הנדסת תוכנה
שיוך נוסף: מדעים / מדעי המחשב
תנאי קבלה: 36 נ"ז עבור קורסים קודמים וכן פטור מקורסי שפה באנגלית ועמידה בדרישות ההדרכה הביבליוגרפית בספריה.
ידע קודם דרוש: מבוא למדעי המחשב ושפת Java או: מבוא למדעי המחשב ושפת Java א וגם מבוא למדעי המחשב ושפת Java ב, אלגוריתמים, מעבדה בתכנות מערכות, אוטומטים ושפות פורמליות או מודלים חישוביים, מתמטיקה בדידה.
- הקורס יילמד בשפה האנגלית -
פיתוח הקורס: ד"ר סינתיה דיסנפלד, פרופ' דוד לורנץ, ד"ר דרור פריד
אחראי אקדמי: פרופ' דוד לורנץ
מטרות הקורס
בקורס נלמדים מושגים ועקרונות של בדיקת תוכנה, והוא מציג היבטים תיאורטיים ומעשיים של בדיקת תוכנה ושל הכלים הרלוונטיים. הקורס מקנה הבנה בסיסית ורוחבית של נושא בדיקות התוכנה, בכל זה נושאים דוגמת: בדיקות יחידה, בדיקות קופסה שחורה, אלגוריתמים קומבינטוריים לבדיקות תוכנה, בבדיקות רנדומיות, בדיקות קופסה לבנה, כיסוי מסלולי, הרצה סימבולית ובדיקות קונקוליות.
חומר הלימוד
הקורס מבוסס על הספר (באנגלית):
P.i Tripathy & K. Naik, Software Testing and Quality Assurance: Theory and Practice.
ועל מדריך למידה.
-----------------------------------------------------------------------------------------
Introduction to Software Testing
Course Objectives
The course teaches concepts and principles of software testing and presents theoretical and practical aspects of software testing with the relevant tools. The course provides a basic and transversal understanding of the subject of software testing, including topics such as: Unit testing, Black box testing, Combinatorial algorithms for software testing, Random testing, White box testing, Path coverage, Symbolic execution, and Convolutional testing.
Study material
The course is based on the book (in English):
P.i Tripathy & K. Naik, Software Testing and Quality Assurance: Theory and Practice.
And a learning guide.
1 להשלכות על צבירת נ"ז בשל חפיפה עם קורס(ים) אחר(ים), ראו פירוט החפיפה.