Title :
Formal test specifications in open systems
Author :
Leathrum, J.F. ; Liburdy, K.A.
Author_Institution :
Software Stand. & Technol. Lab., Clemson Univ., SC, USA
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;
Conference_Titel :
Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', Proceedings., Second IEEE International
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7137-8
DOI :
10.1109/SESS.1995.525967
