1. Software Testing and validation SQA - SWE 434 Prof. Mohamed Batouche batouche@ksu.edu.sa

2. 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

3. Time schedule (Lectures) 8-99-1010-1111-1213-1414-1515-1616-17 Saturday Sunday Monday Tuesday Wednesday Thursday Friday 3

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

5. Recommended Books K. N AIK AND P. T RIPATHY : “S OFTWARE T ESTING AND Q UALITY A SSURANCE ”, W ILEY, 2008. Williaw E. Lewis, “Software Testing And Continuous Quality Improvement”, Third Edition, CRC Press, 2009. 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; 2008 5

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

7. Course Web http://faculty.ksu.edu.sa/mohamedbatouche/Pages/SWE434.aspx/ Any news for this course. Hence, you need to visit it from time to time. Suggestions are also welcome! 7

8. 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

9. 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

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