Issues in the full scale use of formal methods for automated testing

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 71-78

  Crowley, J L ^a   Leathrum, J F ^a   Liburdy, K A ^a  

^a CLEMSON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AUTOMATION; FORMAL SPECIFICATION; OPEN SYSTEMS; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

AUTOMATED TESTING; EXPERIENCE REPORT; FULL SCALE TESTS; LANGUAGE BINDINGS; SYSTEMS SOFTWARE; TOOL SUPPORT;

FORMAL METHODS;

EID: 84937540203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226303     Document Type: Conference Paper

References (14)

1. Gannon, J., McMullin, P., and Hamlet, R., "Dataabstraction implementation, specification and testing", ACM Trans. Prog. Lang. Syst. , vol. 3, no. 3, pp. 211-223, July 1981.
2. Gray, M. and Liburdy, K., "Testers Open Dialogue at Inaugural NIST Workshop", IEEE Software, The Institute of Electrical and Electronics Engineers, September 1994.
3. Hoffman, D. and Strooper, P., "Automated Module Testing in Prolog", IEEE Transactions on Software Engineering, Vol. 17, No. 9, September 1991.
4. Isaak, J., "Formal Specifications & Automatic Test Generation: A Potential Paradigm Shift in POSIX", Automated Testing in Open Systems, Vol. 1, No. 2, 1993.
5. Leathrum, J. F. and Liburdy, K. A., "Formal Description Techniques in Standards Development", Computer Standards and Interfaces, Elsevier Science Publishers B. V., to appear 1995.
6. Leathrum, J. and Liburdy, K., "The Role of Testing Methodologies in Open Systems Standards", International Conference on Software Engineering, 1994.
7. Leathrum, J., "Design Specifications for the Clemson Automated Testing System", Clemson University Technical Report TR-012793-0915P-2, January 1993
8. IEEE Standard for Information Technology: POSIX Ada Language Interfaces, IEEE Std 1003.5, Institute of Electrical and Electronics Engineers, Inc., 1992.
9. IEEE Standard for Information Technology: Requirements and Guidelines for Test Methods Specifications for Measuring Conformance to PASC, IEEE Std 2003.5, Institute of Electrical and Electronics Engineers, Inc., 1995.
10. Draft Standard for Information Technology-Portable Operating System Interface (POSIX); Part 1: System Application Program Interface (API)-Amendment #: Protection, Audit, and Control Interfaces [C Language], P1003.1e, Draft 14, Institute of Electrical and Electronics Engineers, Inc., March 1994
11. Draft Guide for POSIX Open System Environment-A Security Framework, IEEE P1003.22, Draft 2, Institute of Electrical and Electronics Engineers, Inc., March 1994.
12. Nestor, J. R., Newcomer, J. M., Giannini, P., and Stone, D. L., IDL: The Language and Its Implmentations, Prentic Hall, Englewood Cliffs, N. J., 1990.
13. Sankar S. and Hayes R., "Specifying and Testing Software Components using ADL", Technical Report, SMLI-TR-23, April 1994.
14. Wing, J., "A Specifier's Introduction to Formal Methods", Computer, Institute of Electrical and Electronics Engineers, Inc., September 1990.