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...

• Type: Conference
• Year: 2004
• Where: DAGSTUHL
• Authors: Pieter W. M. Koopman
• Keywords: DAGSTUHL 2004, DAGSTUHL 2007, Gast Handles, Specification Based Test, Test Data