SE 4367 Fall 2005

Software Testing, Verification, Validation and Quality Assurance

Instructor: W. Eric Wong

Office ES 3.903
Office Hours 1:00-2:00PM, Tuesday and Thursday or by appointment
Phone (972) 883-6619
e-mail ewong@utdallas.edu
Web http://www.utdallas.edu/~ewong
TA TBA
Office Hours TBA
Course Description This course focuses not only on the theory of software testing
but also on how testing techniques can be applied in practice to
help programmers and testers function more effectively and
efficiently. Special topics on the impact of testing on
debugging, program comprehension, performance profiling, and
reliability estimation will also be covered. In addition, projects
including the use of advanced testing techniques supported by
industrial toolsuites are designed to help students learn the
difference between state-of-art testing and state-of-practice
testing. The overall objective is to teach students an integrated
solution to reduce software development cost and also improve
its productivity and quality. Formal verification of program
correctness will also be discussed.
ABET Objectives • Ability to understand the concept of software testing and
verification
• Ability to understand different types of software testing
• Ability to understand how to generate tests from
requirements
• Ability to understand and apply functional testing
• Ability to understand and apply control-flow-based testing
• Ability to understand and apply data-flow-based testing
• Ability to understand and apply mutation-based testing
• Ability to understand and apply software testing tools
• Ability to understand and apply formal proof of program
correctness
Text Book & • Foundations of Software Engineering by Aditya Mathur
Reading Material • Mathematical Theory of Computation by Zohar Manna
• Lecture notes posted at the course web site
Course Web Site www.utdallas.edu/~ewong/cs4367.html
Course Grading • Exam I: 35%
• Exam II: 35%
• Group Project: 20%
• Homework: 10%