מבוא לבדיקות תוכנה (אנגלית)

בקורס נלמדים מושגים ועקרונות של בדיקת תוכנה, והוא מציג היבטים תיאורטיים ומעשיים של בדיקת תוכנה ושל הכלים הרלוונטיים. הקורס מקנה הבנה בסיסית ורוחבית של נושא בדיקות התוכנה, בכל זה נושאים דוגמת: בדיקות יחידה, בדיקות קופסה שחורה, אלגוריתמים קומבינטוריים לבדיקות תוכנה, בבדיקות רנדומיות, בדיקות קופסה לבנה, כיסוי מסלולי, הרצה סימבולית ובדיקות קונקוליות.

הקורס מבוסס על הספר (באנגלית):

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.