MSCS 721L - Software Verification & Maintenance

4 Credits

Whether a simple standalone tool or complex networked systems, an essential part of the development cycle involves testing whether the software satisfies established requirements and produces the expected results. In this course, students study the methodology behind the testing and debugging of software systems, including: extracting test cases from requirements, assembling a test suite, validation, problem diagnosis, and developing fixes. Issues related to ongoing maintenance, porting software to new platforms, and handling feature requests are also considered.