Specifying and Testing Software Components using ADL

  title={Specifying and Testing Software Components using ADL},
  author={Sriram Sankar and Roger Hayes},
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL, that is particularly well-suited for testing, to formally document the intended behavior of software components. Another related language, TDD, is used to systematically describe the test-data on which the software components will be tested. This paper gives a detailed overview of the ADL language, and a brief presentation of the TDD language. Some details of the… CONTINUE READING
Highly Cited
This paper has 49 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 31 extracted citations


Publications referenced by this paper.
Showing 1-10 of 17 references

A New Approach to Prototyping Ada-based Hardware/Software Systems.

Belz, Frank, Luckham, C David
Proceedings of the ACM Tri-Ada Conference • 1990

Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs.

S. Sankar
Ph.D. thesis, Stanford University, • 1989

A Specification Language and its Formal Semantics.

Spivey, Z J.M.“Understanding
Tracts in Theoretical Computer Science , • 1988
View 1 Excerpt

VDM '87—A Formal Method at Work.

D. Bjorner
Science • 1987
View 2 Excerpts

The Art of Software Testing

G. J. Meyers
View 1 Excerpt

Similar Papers

Loading similar papers…