Test Driven Development With Oracles and Formal Specifications

The current industry trend to using Test Driven Development (TDD) is a recognition of the high value of creating executable tests as part of the development process. In TDD, the test code is a formal documentation of the required behaviour of the component or system being developed, but this documentation is necessarily incomplete and often over-specific. An alternative view to TDD is to develop the specification of the required behaviour in a formal notation as a part of the TDD process and to generate test oracles from that specification.

Provided by: Memorial University of Newfoundland Topic: Software Date Added: Sep 2010 Format: PDF

Download Now

Find By Topic