A formal approach to requirements based testing in open systems standards

Author

Leathrum, J.F. ; Liburdy, K.A.

Author_Institution

Software Stand. & Technol. Lab., Clemson Univ., SC, USA

fYear

1996

fDate

15-18 Apr 1996

Firstpage

94

Lastpage

100

Abstract

Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language Binding to POSIX. The approach taken in this work is based on a formal description of test requirements which can be automatically translated into executable tests by the Clemson Automated Testing System (CATS). A brief design overview of CATS, as well as a design taxonomy for the testing requirements is presented. Lessons learned from this experienced recommendations for future work conclude the paper

Keywords

IEEE standards; conformance testing; formal specification; open systems; software standards; systems analysis; testing; Clemson Automated Testing System; IEEE POSIX arena; IEEE Std 10035-The Ada Language Binding to POSIX; automatic translation; design taxonomy; executable tests; formal approach; full scale conformance test suite development; open systems standards; requirements based testing; test requirements; Automatic testing; Cats; Laboratories; Natural languages; Open systems; Software standards; Software testing; Standards development; System testing; Taxonomy;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering, 1996., Proceedings of the Second International Conference on

Conference_Location

Colorado Springs, CO

Print_ISBN

0-8186-7252-8

Type

conf

DOI

10.1109/ICRE.1996.491434

Filename

491434