Search Results

CS 576 Dependable Software Systems 3.0 Credits

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]

Peace Engineering

...CS 502 CS 575 , CS 576 Machine Learning and AI : CS 510 , CS 613 , CS...

  • Schedule of Classes
  • All Course Descriptions
  • Co-op
  • Academic Advising
  • Admissions
  • Tuition & Fees