Hold on just a sec...
3 credits
Fall 2025 Lecture Distance Learning Upper DivisionPreliminaries: errors and testing; software quality, requirements, behavior, and correctness; testing, debugging, verification; control flow graphs, dominators; types of testing; Test selection: from requirements, finite state models, and combinatorial designs; regression testing and test minimization; Test adequacy assessment: control and data flow; mutation based; testing tools.
Learning Outcomes1Understand the basic technology related to software testing and debugging.
2Differentiate between reliability and correctness.
3Understand the impact of the saturation effect on the test process and its cost.
4Understand the relationship between software development and test processes.
5Apply a variety of black box test generation methods manually and using tools.
6Use test adequacy criteria and understand their respective cost and effectiveness.
7Select appropriate software test tools for a given testing task