Course
| 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 |