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

A partially automated process for generating tests has been experimentally applied to a portion of a real world system-level requirements speci cation. This paper discusses the problems addressed by this process along with how and why this automation was achieved. The requirements were formalized us...

Full description

Bibliographic Details
Main Author: Michael R. Donat
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Published: 1998
Subjects:
North Atlantic
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.4592
http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf
id ftciteseerx:oai:CiteSeerX.psu:10.1.1.186.4592
record_format openpolar
spelling ftciteseerx:oai:CiteSeerX.psu:10.1.1.186.4592 2023-05-15T17:30:27+02:00 Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region Michael R. Donat The Pennsylvania State University CiteSeerX Archives 1998 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.4592 http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.4592 http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf text 1998 ftciteseerx 2016-01-07T16:41:02Z A partially automated process for generating tests has been experimentally applied to a portion of a real world system-level requirements speci cation. 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 speci cation Text North Atlantic Unknown
institution Open Polar
collection Unknown
op_collection_id ftciteseerx
language English
description A partially automated process for generating tests has been experimentally applied to a portion of a real world system-level requirements speci cation. 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 speci cation
author2 The Pennsylvania State University CiteSeerX Archives
format Text
author Michael R. Donat
spellingShingle Michael R. Donat
Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
author_facet Michael R. Donat
author_sort Michael R. Donat
title Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
title_short Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
title_full Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
title_fullStr Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
title_full_unstemmed Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
title_sort automatically generated test frames from an s specification of separation minima for the north atlantic region
publishDate 1998
url http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.4592
http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf
genre North Atlantic
genre_facet North Atlantic
op_source http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf
op_relation http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.4592
http://www.cs.ubc.ca/labs/isd/FormalWare/abstracts/icaobod.pdf
op_rights Metadata may be used without restrictions as long as the oai identifier remains attached to it.
_version_ 1766126971595522048

Similar Items