Testing refinements by refining tests

Derrick, John and Boiten, Eerke (1998) Testing refinements by refining tests. In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany. (Full text available)

PDF
Download (218kB)
[img]
Preview
Postscript
Download (215kB)
[img]
Preview

Abstract

One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal specifications, and a number of different methods have been derived for state based languages such as Z, B and VDM. However, in addition to deriving tests from a formal specification, we might wish to refine the specification further before its implementation. The purpose of this paper is to explore the relationship between testing and refinement. As our model for test generation we use a DNF partition analysis for operations written in Z, which produces a number of disjoint test cases for each operation. In this paper we discuss how the partition analysis of an operation alters upon refinement, and we develop techniques that allow us to refine abstract tests in order to generate test cases for a refinement. To do so we use (and extend existing) methods for calculating the weakest data refinement of a specification.

Item Type: Conference or workshop item (Paper)
Additional information: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98) BERLIN, GERMANY, SEP 24-26, 1998 Daimler Benz AG; GMD FIRST; Tech Univ Berlin; Praxis Crit Syst
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: R.F. Xu
Date Deposited: 26 Jun 2009 10:00
Last Modified: 09 Jul 2014 11:18
Resource URI: http://kar.kent.ac.uk/id/eprint/17694 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year