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 al, combinational, structural, and model-based testing. Practical assignments will provide ample opportunities to apply software verification techniques and tools.
arabic Description/Outcomes
objectives Upon completion of this course, students should be able to:
1. Test and analysis activities within a software process.
2. Test case ion and adequacy.
3. Perform al, 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, 8th Edition, Pearson Education, 2006.
2. Stephen R. Schach, Object-Oriented and Classical Software Engineering, 7th Editon, McGraw-Hill, 2007.
arabic ref. books
textbook Ammann P. and Offutt J., Introduction to Software Testing, Cambridge University Press, 2008.
arabic textbook
objective set combined
content set bullets
Course Content
content serial Description