Software Testing and validation SQA - SWE 434 Prof. Mohamed Batouche

Course information Instructors: –Lectures: Prof. Mohamed Batouche (King Saud University) –Tutorial: Lecturer (King Saud University) – Mr. Fettouh kellal –Labs: RA (King Saud University) – Mr. Hanif 2

Time schedule (Lectures) Saturday Sunday Monday Tuesday Wednesday Thursday Friday 3

Textbook Textbook: Aditya P. Mathur, “Foundations of Software Testing”, Pearson Education, Recommended books: see website Readings: see website 4

Recommended Books K. N AIK AND P. T RIPATHY : “S OFTWARE T ESTING AND Q UALITY A SSURANCE ”, W ILEY, Williaw E. Lewis, “Software Testing And Continuous Quality Improvement”, Third Edition, CRC Press, Dorothy Graham, Erik van Veenendaal, et al: “Foundations of Software Testing"; Thomson Learning; 2007 Mauro Pezze, Michal Young : “Software Testing and Analysis: Process, Principles and Techniques”; John Wiley;

Grading policies Final exam: (40%) Midterm1, Midterm 2: (40%) Homework, Quizzes, Projects, Attendance: (20%) Final grades = Final exam * Midts * HQPA * 0.2 6

Course Web Any news for this course. Hence, you need to visit it from time to time. Suggestions are also welcome! 7

Course Description The course covers at least the following s: Introduction to testing - Software validation and verification – Test cases – Managing the testing process: developing test plans, test scripts and test cases, reports - Unit, functional, and acceptance testing - Black-box and white-box testing - Equivalence partitioning - Path testing – Cyclomatic complexity - Integration testing – System Testing: Regression testing; Interface testing; Stress/Load testing; Incremental testing; Interaction and Usability testing... etc. - Object- oriented testing - Software testing tools - Alpha, beta, and user acceptance testing – Testing in agile development environment - Automated testing. Students participate in a group project on software testing. 8

Syllabus  Introduction  Software Testing  Functional Testing  Structural Testing - Control Flow Testing  Data Flow Testing  Mutation Testing  Model-Based Testing: Finite State Machines Testing  Unit and Integration Testing  Regression Testing  System, Acceptance, and Installation Testing  Inspections and Reviews  Introduction to Model Checking  Concurrency problems  Real-time systems testing  Test Automation 9

Software Testing Tools Rational Tester: IBM tool JUNIT Clover: Java Code Coverage and test optimization 10