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.
Preview
Unable to display preview. Download preview PDF.
References
Abrial J. R.: The B Book: Assigning Programs to Meaning, Cambridge University Press (1996).
B-Core(UK): B-Toolkit Version 4 Beta Release, Magdalen Centre, The Oxford Science Park, UK (1997).
B-Core(UK): Case Study: Design Using Generated Base Objects, Magdalen Centre, The Oxford Science Park, UK (1994).
Dick J. and Maisey D.: Fault grids: Another Way of Presenting Fault Counts, Proceedings of Software Quality Management 1996, Cambridge, UK (April 1996).
Draper J.: Applying the B-Method to Avionics Software: an Initial Report on the MIST Project, Encress 1995 Conference Proceedings.
Draper J., Treharne H. et al.: Evaluating the B-Method on an Avionics Example, Proceedings of DASIA, Rome (1996).
Draper J. and Treharne H.: The Refinement of Embedded Software with the B-Method, Proceedings of Northern Formal Methods Workshop, Bradford, UK (September 1996).
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).
Hörcher H-M. and Peleska J.: Using formal specifications to support software testing, Software Quality Journal 4, pp. 309–327 (1995).
Kemmerer R. A.: Integrating Formal Methods into the Development Process, IEEE Software (September 1990), pp. 37–50.
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.
Myers G. J.: The Art of Software Testing, Wiley (1979).
UK Ministry of Defence: The Procurement of Safety Critical Software in Defence Equipment, Defence Standard 00-55 (1997).
Ormsby B.: An Approach to Testing during Formal Development with the B-Method, Industrial Report, Proceedings of 22nd EUROMICRO conference, Prague (September 1996).
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.
Wikström A.: Functional Programming using Standard ML, Prentice Hall, International Series in Computer Science (1987).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Treharne, H., Draper, J., Schneider, S. (1998). Test case preparation using a prototype. In: Bert, D. (eds) B’98: Recent Advances in the Development and Use of the B Method. B 1998. Lecture Notes in Computer Science, vol 1393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053368
Download citation
DOI: https://doi.org/10.1007/BFb0053368
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64405-7
Online ISBN: 978-3-540-69769-5
eBook Packages: Springer Book Archive