Title :
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
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;
Conference_Titel :
Requirements Engineering, 1996., Proceedings of the Second International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-7252-8
DOI :
10.1109/ICRE.1996.491434
