University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Test case preparation using a prototype

Treharne, Helen, Draper, J. and Schneider, Steve A. (1998) Test case preparation using a prototype


Download (189kB)


This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example. It discusses how a prototype contributes to the testing activity as part of a lifecycle based on the use of formal methods. The results of applying the approach to an embedded avionics case study are also presented.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions : Faculty of Engineering and Physical Sciences > Computer Science
Authors :
Draper, J.
Schneider, Steve
Date : 1 April 1998
Uncontrolled Keywords : prototype, B-method, formal software lifecycle
Additional Information : This is a pre-press version of a paper published in Lecture Notes in Computer Science, 1393, 293. Click here to access the published version. © 1998 Springer.
Depositing User : Mr Adam Field
Date Deposited : 27 May 2010 14:45
Last Modified : 06 Jul 2019 05:07

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800