Test case preparation using a prototype
Tools
Tools
Tools
Treharne, Helen, Draper, J. and Schneider, Steve A. (1998) Test case preparation using a prototype
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 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 |
| ID Code: | 1909 |
| Deposited By: | Mr Adam Field |
| Deposited On: | 27 May 2010 15:45 |
| Last Modified: | 26 Sep 2012 14:37 |
Document Downloads
Repository Staff Only: item control page