loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Requirements Engineering (ICRE'96)
A formal approach to requirements based testing in open systems standards
Colorado Springs, Colorado
April 15-April 18
ISBN: 0-8186-7252-8
ASCII Text
x 
 
J.F. Leathrum, K.A. Liburdy, "A formal approach to requirements based testing in open systems standards," Requirements Engineering, IEEE International Conference on, pp. 94, Second International Conference on Requirements Engineering (ICRE'96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/ICRE.1996.491434,
author = {J.F. Leathrum and K.A. Liburdy},
title = {A formal approach to requirements based testing in open systems standards},
journal ={Requirements Engineering, IEEE International Conference on},
volume = {0},
year = {1996},
isbn = {0-8186-7252-8},
pages = {94},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICRE.1996.491434},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Requirements Engineering, IEEE International Conference on
TI - A formal approach to requirements based testing in open systems standards
SN - 0-8186-7252-8
SP
EP
A1 - J.F. Leathrum,
A1 - K.A. Liburdy,
PY - 1996
KW - open systems; IEEE standards; software standards; conformance testing; testing; systems analysis; formal specification; requirements based testing; IEEE POSIX arena; formal approach; open systems standards; full scale conformance test suite development; test requirements; automatic translation; executable tests; Clemson Automated Testing System; design taxonomy; IEEE Std 10035-The Ada Language Binding to POSIX
VL - 0
JA - Requirements Engineering, IEEE International Conference on
ER -
 
J.F. Leathrum, Software Stand. & Technol. Lab., Clemson Univ., SC, USA
K.A. Liburdy, Software Stand. & Technol. Lab., Clemson Univ., SC, USA
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.
Index Terms:
open systems; IEEE standards; software standards; conformance testing; testing; systems analysis; formal specification; requirements based testing; IEEE POSIX arena; formal approach; open systems standards; full scale conformance test suite development; test requirements; automatic translation; executable tests; Clemson Automated Testing System; design taxonomy; IEEE Std 10035-The Ada Language Binding to POSIX
Citation:
J.F. Leathrum, K.A. Liburdy, "A formal approach to requirements based testing in open systems standards," icre, pp.94, Second International Conference on Requirements Engineering (ICRE'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.