Test case preparation using a prototype

  • H. Treharne
  • J. Draper
  • S. Schneider
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1393)


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.


Prototype B-Method Formal Software Lifecycle 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial J. R.: The B Book: Assigning Programs to Meaning, Cambridge University Press (1996).Google Scholar
  2. 2.
    B-Core(UK): B-Toolkit Version 4 Beta Release, Magdalen Centre, The Oxford Science Park, UK (1997).Google Scholar
  3. 3.
    B-Core(UK): Case Study: Design Using Generated Base Objects, Magdalen Centre, The Oxford Science Park, UK (1994).Google Scholar
  4. 4.
    Dick J. and Maisey D.: Fault grids: Another Way of Presenting Fault Counts, Proceedings of Software Quality Management 1996, Cambridge, UK (April 1996).Google Scholar
  5. 5.
    Draper J.: Applying the B-Method to Avionics Software: an Initial Report on the MIST Project, Encress 1995 Conference Proceedings.Google Scholar
  6. 6.
    Draper J., Treharne H. et al.: Evaluating the B-Method on an Avionics Example, Proceedings of DASIA, Rome (1996).Google Scholar
  7. 7.
    Draper J. and Treharne H.: The Refinement of Embedded Software with the B-Method, Proceedings of Northern Formal Methods Workshop, Bradford, UK (September 1996).Google Scholar
  8. 8.
    Hoare J. P.: Application of the B-Method to CICS. Chapter 6 in H. Bowen, editor, Application of Formal Methods, pp. 97–123, Prentice-Hall International (1995).Google Scholar
  9. 9.
    Hörcher H-M. and Peleska J.: Using formal specifications to support software testing, Software Quality Journal 4, pp. 309–327 (1995).CrossRefGoogle Scholar
  10. 10.
    Kemmerer R. A.: Integrating Formal Methods into the Development Process, IEEE Software (September 1990), pp. 37–50.Google Scholar
  11. 11.
    Lichter H., Schneider-Hufschmidt M. and Züllighoven: Prototyping in Industrial Software Projects — Bridging the Gap Between Theory and Practice, IEEE Transactions on Software Engineering, 20(11) (1994), pp. 825–832.CrossRefGoogle Scholar
  12. 12.
    Myers G. J.: The Art of Software Testing, Wiley (1979).Google Scholar
  13. 13.
    UK Ministry of Defence: The Procurement of Safety Critical Software in Defence Equipment, Defence Standard 00-55 (1997).Google Scholar
  14. 14.
    Ormsby B.: An Approach to Testing during Formal Development with the B-Method, Industrial Report, Proceedings of 22nd EUROMICRO conference, Prague (September 1996).Google Scholar
  15. 15.
    Waeselynck H. and Boulanger J-L.: The Role of Testing in the B Formal Development Process, Proceedings of 6th International Symposium on Software Reliability (ISSRE '95), Toulouse, France (October 1995), pp. 58–67.Google Scholar
  16. 16.
    Wikström A.: Functional Programming using Standard ML, Prentice Hall, International Series in Computer Science (1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • H. Treharne
    • 1
  • J. Draper
    • 2
  • S. Schneider
    • 1
  1. 1.Department of Computer Science, Royal HollowayUniversity of LondonEghamUK
  2. 2.Mission Avionics DivisionGEC-Marconi Avionics Ltd, Airport WorksRochesterUK

Personalised recommendations