To provide an overview of different approaches to software testing. The focus is put on automated software verification. To gain practical skill of tracing the program run and subsystem communication. To gain practical skill of software testing required by a quality assurance analyst.

Why is the course taught

Software testing is forefront in quality assurance. Since software designs rapidly increase in their complexity, there is a strong need for automation of each development phase, including quality assurance. Students will learn different approaches to automation of software testing and dynamic analysis based on tracing of program runs. Students are needed members of every development teams for their knowledge gained in this course.