Automated Support for Test-Driven Specification

E.L. Jones (USA)


Specification-driven testing, decision table, model-based testing, functional coverage.


This paper discusses an approach to test-driven specification, whereby specification is aided by test case design, and vice-versa. Decision tables are used as a lightweight specification language. We introduce an automated tool set to convert static decision tables into an executable form that supports interaction between test case design and specification refinement processes. We demonstrate the use of the toolset to accomplish three complementary functions: (1) to analyze the specification for completeness and consistency; (2) to assess the functional adequacy of a test set; and (3) to produce a test oracle. The contribution of this approach is a lightweight technique that exploits the duality between specification and testing early in the software lifecycle.

Important Links:

Go Back