SE6367 - Software Testing, Validation and Verification

SE 6367 (CS 6367, SE 6367, SYSM 6310) Software Testing, Validation and Verification (3 semester hours) Fundamental concepts of software testing. Functional testing. GUI based testing tools. Control flow based test adequacy criteria. Data flow based test adequacy criteria. White box based testing tools. Mutation testing and testing tools. Relationship between test adequacy criteria. Finite state machine based testing. Static and dynamic program slicing for testing and debugging. Software reliability. Formal verification of program correctness. Prerequisite: CE/CS/SE 5354 or consent of instructor. (3-0) Y