code SE492
credit_hours 3
title Software Verification
arbic title
prequisites SE291
credit hours 3
Description/Outcomes This course introduces students to software testing and the integration of testing into the software development process. Upon successful completion of the course, they should be able to perform Functional, combinational, structural, and model-based testing. Practical assignments will provide ample opportunities to apply software verification techniques and tools.
arabic Description/Outcomes
objectives 1. Test and analysis activities within a software process.
2. Test case selection and adequacy.
3. Perform Functional, combinatorial, structural, and model-based testing.
4. Use testing techniques for object-oriented software.
5. Carry out inspections/walkthroughs processes.
6. Perform integration and component-based software testing.
7. Perform system, Acceptance, and regression testing.
8. Understand automation techniques for the testing process.
9. Document for the testing process.
arabic objectives
ref. books 1- Ian Sommerville, Software Engineering, Pearson Education.
2- Stephen R. Schach, Object-Oriented and Classical Software Engineering, McGraw-Hill.
arabic ref. books
textbook Paul Ammann, Jeff Offutt, Introduction to Software Testing, Cambridge University Press.
arabic textbook
objective set
content set
course file 530_SE492_SE492.pdf
Course Content
content serial Description