Automated Support for Test-Driven Specification

E.L. Jones (USA)

Keywords

Specificationdriven testing, decision table, modelbased testing, functional coverage.

Abstract

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