Test Case Preparation Using a Prototype

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.

• Type: Conference
• Year: 1998
• Where: B
• Authors: Helen Treharne, J. Draper, Steve Schneider
• Keywords: B 1998, Embedded Avionics Case, Formal Development, Software Engineering, Test Cases