Systems and Computer Engineering (SYSC)
Department of Systems and Computer Engineering
Faculty of Engineering
SYSC 4101 [0.5 credit]
Software Validation
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.
Prerequisites:
SYSC 3100 and
SYSC 4800 (
SYSC 4800 can be taken concurrently).
Lectures three hours a week, laboratory/problem analysis three hours alternate weeks.