Automatically
Generated Test Frames from an S Specification of Separation Minima for
the North Atlantic Region
by
Michael R. Donat
| |
Automatically
Generated Test Frames from an S Specification of Separation Minima for
the North Atlantic Region
by
Michael R. Donat
|
| formalWARE
project
formalWARE
formalWARE
|
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. Full Technical Report Download postscript
Body Only Download postscript
Appendix A Download postscript
Appendix B Download postscript
Appendix C Download postscript
Appendix D Download postscript
|
