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

Authors:
J. L. Crowley;J. F. Leathrum;K. A. Liburdy
Affiliations:
Software Standards and Technology Laboratory, Clemson University;Software Standards and Technology Laboratory, Clemson University;Software Standards and Technology Laboratory, Clemson University
Venue:
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Year:
1996

Citing 6
Cited 2

IDL: the language and its implementation

IDL: the language and its implementation
A Specifier's Introduction to Formal Methods

Computer
Automated Module Testing in Prolog

IEEE Transactions on Software Engineering
The role of testing methodologies in open systems standards: a POSIX experience report

ICSE '94 Proceedings of the 16th international conference on Software engineering
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying and Testing Software Components using ADL

Specifying and Testing Software Components using ADL

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Environment behavior models for scenario generation and testing automation

A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Experience from a full scale effort to apply formal methods to automated testing in the open systems software arena is described. The formal method applied in this work is based upon the Clemson Automated Testing System (CATS) which includes a formal specification language, a set of guidelines describing how to use the method effectively, and tool support capable of translating formal specifications into executable tests. This method is currently being used to develop a full scale test suite for IEEE's Ada Language Binding to POSIX. Following an overview of CATS, an experience report consisting of results, lessons learned and future directions is presented.