Search Results

Intended for CS and MSSE students; others must obtain departmental permission to enroll. Offers an in-depth treatment of software testing and software reliability, two components of developing dependable software systems. Testing topics include path testing, data-flow testing, mutation testing, program slicing, fault interjection and program perturbation, paths and path products, syntax testing, logic-based testing, testing within the software development process, test execution automation and test design automation tools. Reliability topics include reliability metrics, fault avoidance, cleanroom software development, fault tolerance, exception handling, N-version programming, recovery blocks, formal methods, functional specifications, and Z notation.

College/Department: College of Computing and Informatics
Repeat Status: Not repeatable for credit
Prerequisites: (CS 501 [Min Grade: C] or CS 570 [Min Grade: C]) and (CS 502 [Min Grade: C] or CS 520 [Min Grade: C]) and (CS 503 [Min Grade: C] or CS 571 [Min Grade: C]) and CS 504 [Min Grade: C]