SYSC 4101
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.
2020
Topics
- Context and Definitions
- Category-Partition software testing
- Graph criteria
- Control flow graph (application of graphs)
- State based testing (application of graphs)
- Criteria for logic expressions
- Regression testing
- Drivers, stubs and oracles
- Other considerations, including empirical software engineering
Prerequisites & course information
Precludes additional credit for COMP 4004 . Prerequisite(s): SYSC 3120 or SYSC 3020 . Lectures three hours a week, laboratory/problem analysis three hours a week.