If interactive computing systems development is to be considered an engineering discipline, we need methods and tools to help us reason about and predict the quality of systems, from early in the design process. This paper provides a brief overview of work we have been carrying out in the general area of evaluating and ensuring the quality of interactive computing.
systems. Some of the work currently being carried
out is also discussed. Discussed approaches range from the
formal verification of user interface models through model
checking, to the reverse engineering and model based testing
of implemented interactive computing systems
