Technical Reports

The ICICS/CS Reading Room

UBC CS TR-98-05 Summary

Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions, April 30, 1998 M.R. Donat, 367 pages

A partially automated process for generating tests has been experimentally applied to a portion of a real world system-level requirements specification. This paper discusses the problems addressed by this process along with how and why this automation was achieved. The requirements were formalized using a notation designed to be readable by a large proportion of requirements stakeholders. This report also addresses traceability of requirements to tests and introduces the requirements specification language Q.

If you have any questions or comments regarding this page please send mail to