Principles of software testing including input generation, output checking, and test oracles. Special characteristics of automated testing. Test generation using context-free grammars including grammar basics, generation trees, tagged grammars and generation tools. Test generation using covering arrays including mathematical properties, available algorithms, and generation tools. Case studies in automated testing in computer networks, XML scripts and processors, and open-source software.
CSC 485D: Pre-requisite is 4th year standing
SENG 480D: Pre-requisite is 4th year standing.