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.
This is a preview of subscription content, log in via an institution to check access.
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