Techniques for the systematic testing of software systems. Software validation and verification, software debugging, quality assurance, measurement and prediction of software reliability. Emphasis on the treatment of these topics in the context of real-time and distributed systems. Prerequisite(s): SYSC 3100 and SYSC 4800 (SYSC 4800 can be taken concurrently).Lectures three hours a week, laboratory/problem analysis three hours alternate weeks.
Techniques for the systematic testing of software systems. Software validation and verification, software debugging, quality assurance, measurement and prediction of software reliability. Emphasis on the treatment of these topics in the context of real-time and distributed systems. Prerequisite(s): SYSC 3100 and SYSC 4800 (SYSC 4800 can be taken concurrently).Lectures three hours a week, laboratory/problem analysis three hours alternate weeks.