Formal test specifications in open systems

Author

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

Author_Institution

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

fYear

1995

fDate

21-25 Aug 1995

Firstpage

219

Lastpage

225

Abstract

The development of formal test specifications for an open system standard is described. The effort is being conducted within the environment provided by the Clemson Automated Testing System (CATS). CATS features the ability to automatically translate formal test specifications into executable tests. The formal test specifications are written in accordance with a specification language designed in support of this effort. An overview of the CATS architecture and formal test specification language provide a backdrop for an experience report on the development of formal test specifications for IEEE Std 1003.5 POSIX Ada Language Interfaces. A discussion of scale-up issues concludes the paper

Keywords

IEEE standards; automatic test software; conformance testing; formal specification; open systems; program testing; software standards; specification languages; CATS architecture; Clemson Automated Testing System; IEEE Std 1003.5 POSIX Ada Language Interfaces; executable tests; formal test specification language; formal test specifications; open system standard; open systems; Automatic testing; Cats; Life testing; Natural languages; Open systems; Software standards; Software testing; Specification languages; Standards development; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', Proceedings., Second IEEE International

Conference_Location

Montreal, Que.

ISSN

1082-3670

Print_ISBN

0-8186-7137-8

Type

conf

DOI

10.1109/SESS.1995.525967

Filename

525967