Test Case Preparation Using a Prototype.
Tools
Treharne, H, Draper, J and Schneider, S (1998) Test Case Preparation Using a Prototype. In: B’98: Recent Advances in the Development and Use of the B Method, 1998 - ?.
![]()
|
Text
fulltext.pdf - Accepted version Manuscript Available under License : See the attached licence file. Download (189kB) |
|
![]() |
Text (licence)
licence.txt Download (1kB) |
Official URL: http://dx.doi.org/10.1007/BFb0053368
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 (Conference Paper) | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | ||||||||||||
Authors : |
|
||||||||||||
Date : | 1998 | ||||||||||||
DOI : | 10.1007/BFb0053368 | ||||||||||||
Contributors : |
|
||||||||||||
Related URLs : | |||||||||||||
Additional Information : | The original publication is available at http://www.springerlink.com | ||||||||||||
Depositing User : | Mr Adam Field | ||||||||||||
Date Deposited : | 15 Jun 2012 09:52 | ||||||||||||
Last Modified : | 31 Oct 2017 14:09 | ||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/7225 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year