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

[img]
Preview
PDF
fulltext.pdf

Download (185Kb)

Abstract

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)
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.
Uncontrolled Keywords: prototype, B-method, formal software lifecycle
Divisions: Faculty of Engineering and Physical Sciences > Computing Science
Depositing User: Mr Adam Field
Date Deposited: 27 May 2010 14:45
Last Modified: 23 Sep 2013 18:35
URI: http://epubs.surrey.ac.uk/id/eprint/1909

Actions (login required)

View Item View Item

Downloads

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