Sciweavers

Share
DAGSTUHL
2004

Testing with Functions as Specifications

9 years 22 days ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive. Even determining the quality of software is not easy. Testing is by far the most used way to estimate the quality of software. Testing itself is not easy and time consuming. In order to reduce the costs and increase the quality and speed of testing, testing should be automated itself. An automatical specification based test tool generates test data, executes the associated tests, and makes a fully automatically verdict based on a formal specification. Advantages of this approach are that one specifies properties instead of instances of these properties, test data are derived automatically instead of manually, the tests performed are always up to date with the current specification, and automatic testing is fast and accurate. We will show that functions in a functional programming language can b...
Pieter W. M. Koopman
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where DAGSTUHL
Authors Pieter W. M. Koopman
Comments (0)
books