COMP551

Model-Based Testing

2018
This paper is not offered for 2018

15

500

This paper deals with the testing and modelling of software systems. It shows how to model systems; how to use static analysis tools to find errors in those models; how to generate tests from those models; and how to automate the execution of test suites.

Timetabled lectures

This paper has no scheduled lectures - check for other activities in the online timetable for this paper.

Additional information

  • Indicative fees current as of 30 Oct 2025 01:20am