automating formal specification-based testing

Automatically Generated Test Frames from a

Q Specification of ICAO Flight Plan Form Instructions

by Michael R. Donat

formalWARE
project

Participating
     Organizations
Research
     Topics
People

formalWARE
results

Overview
Publications
Presentations
Tools
Methods
Examples
Training

formalWARE
information

Events
Index
Links
Contacts

Abstract

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.

Full Technical Report

Download postscript
Download PDF

Body Only

Download postscript
Download PDF

Appendix A

Download postscript
Download PDF

Appendix B

Download postscript
Download PDF

Appendix C: Q Requirements Specification Language