Software Testing and validation
SQA - SWE 434
Prof. Mohamed Batouche
[email protected]
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)
8-9
9-10
10-11
11-12
13-14
14-15
15-16
16-17
Saturday
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
3
Textbook
• Textbook: Aditya P. Mathur, “Foundations
of Software Testing”, Pearson Education,
2009.
• Recommended books: see website
• Readings: see website
4
Recommended Books
•
K. NAIK AND P. TRIPATHY: “SOFTWARE TESTING AND QUALITY ASSURANCE”,
WILEY, 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
Grading policies
• Final exam: (40%)
• Midterm1, Midterm 2: (40%)
• Homework, Quizzes, Projects,
Attendance: (20%)
• Final grades = Final exam * 0.4 + Midts *
6
0.4 + HQPA * 0.2
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
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. - Objectoriented 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