Skip to main content
SpringerLink
Log in

Testing as abstraction

  • Testing
  • Conference paper
  • First Online:
ZUM '95: The Z Formal Specification Notation (ZUM 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 967))

Included in the following conference series:

Abstract

The PROST-Objects project has developed a method for formally specifying tests. The method is based on systematic abstraction from a ‘state-plusoperation’ style specification. It is explained here, and illustrated with a small example. Test developers can use this method, along with their own skills for choosing good tests, to produce a suite of formal test specifications. The project has also developed a prototype tool, which provides organisational support for the (potentially large) collection of test specifications as they are generated.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jonathan P. Bowen and J. Anthony Hall, editors. Proceedings of the 8th Z User Meeting, Cambridge 1994, Workshops in Computing. Springer Verlag, 1994.

    Google Scholar 

  2. Elspeth Cusack and G. H. B. Rafsanjani. ZEST. In Susan Stepney, Rosalind Barden, and David Cooper, editors, Object Orientation in Z, Workshops in Computing, chapter 10, pages 113–126. Springer Verlag, 1992.

    Google Scholar 

  3. Mike Flynn, Tim Hoverd, and David Brazier. Formaliser—an interactive support tool for Z. In John E. Nicholls, editor, Z User Workshop: Proceedings of the 4th Annual Z User Meeting, Oxford 1989, Workshops in Computing, pages 128–141. Springer Verlag, 1990.

    Google Scholar 

  4. David Garlan and Norman Delisle. Formal specifications as reusable frameworks. In Dines Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z—Formal Methods in Software Development, Kiel, volume 428 of Lecture Notes in Computer Science, pages 150–163. Springer Verlag, 1990.

    Google Scholar 

  5. David Garlan and David Notkin. Formalizing design spaces: Implicit invocation mechanisms. In S. Prehn and W. J. Toetenel, editors, VDM'91: Formal Software Development Methods, Noordwijkerhout, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 31–44. Springer Verlag, 1991.

    Google Scholar 

  6. J. Anthony Hall. Specifying and interpreting class hierarchies in Z. In [Bowen & Hall 1994], pages 120–138.

    Google Scholar 

  7. Mark B. Josephs. Specifying reactive systems in Z. Technical Monograph PRG-19, Programming Research Group, Oxford University Computing Laboratory, 1991.

    Google Scholar 

  8. Ben Strulo. How firing conditions help inheritance. In Jonathan P. Bowen and Michael G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, Limerick 1995, Lecture Notes in Computer Science. Springer Verlag, 1995.

    Google Scholar 

  9. Clazien Wezeman and Tony Judge. Z for Managed Objects. In [Bowen & Hall 1994], pages 108–119.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cambridge Division, Betjeman House, Logica UK Ltd., 104 Hills Road, CB2 1LQ, Cambridge, UK

    Susan Stepney

Authors
  1. Susan Stepney
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stepney, S. (1995). Testing as abstraction. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_117

Download citation

  • DOI: https://doi.org/10.1007/3-540-60271-2_117

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60271-2

  • Online ISBN: 978-3-540-44782-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation