CS 490 Software Testing

Spring 2012

Learning Outcomes

Students who have completed this course would have learned

  • Various test procesess and continuous quality improvement
  • Types of errors and fault models
  • Methods of test generation from requirements
  • Behavior modeling using UML: Finite state machines (FSM)
  • Test generation from FSM models
  • Input space modeling using combinatorial designs
  • Combinatorial test generation
  • Test adequacy assessment using: control flow, data flow, and program mutations
  • The use of various test tools
  • Application of software testing techniques in commercial environments

Prerequisites: Junior/Senior in CS, ECE, or IE. Must have a good working knowledge of Java and C/C++.


Last Update:January 9, 2012