Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region

ID
TR-98-04
Authors
M.R. Donat
Publishing date
April 30, 1998
Length
225 pages
Abstract
A partially automated process for generating tests has been experimentally applied to a formal specification of a real world specification for air traffic separation minima. This report discusses the problems addressed by this process along with how and why this automation was achieved.