Skip to main content
Springer Nature Link
Log in

Test case selection using VDM

  • Applications And Tools
  • Conference paper
  • First Online:
VDM '88 VDM — The Way Ahead (VDM 1988)

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

Included in the following conference series:

  • 137 Accesses

Abstract

This paper describes the design validation process adopted by the VLSI Distributed Array Processor (VDAP) Project. In this project structured, informal design techniques were used in the hardware design process, but the validation team used some of the tools and methods of VDM as a means of defining the testing strategy.

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.

Similar content being viewed by others

References

  1. Z.Barzilai, D.Coppersmith, A.L.Rosenberg, ‘Exhaustive Generation of Bit Patterns with Applications to VLSI Self Testing’ IEEE Trans Comp C-32 Feb 83.

    Google Scholar 

  2. L.A.Clark, ‘A System to Generate Test Data and Symbolically Execute Programs’ IEEE Trans SE SE-2 1976.

    Google Scholar 

  3. P.Golan, O.Novac, J.Hlavicka, ‘Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage’ IEEE Trans Comp C-37 Apr 88.

    Google Scholar 

  4. B.Goodenough, S.L.Gerhart, ‘Towards a Theory of Test Data Selection’ IEEE Trans SE SE-1 1975.

    Google Scholar 

  5. J.C.King, 'symbolic Execution and Program Testing’ Comm ACM 19 1976.

    Google Scholar 

  6. K.C.Lo, ‘VDAP Primitive Level Interface’ ICL Internal Document.

    Google Scholar 

  7. E.J.McCluskey, ‘Verification Testing — A Pseudoexhaustive Technique’ IEEE Trans. Comp. C-33 June 84.

    Google Scholar 

  8. E.I.Muehldorf, A.D.Savkar, ‘LSI Logic Testing — An Overview’ IEEE Trans Comp C-30 Jan 81.

    Google Scholar 

  9. S.C.Ntafos, S.L.Hakimi, ‘On Structured Digraphs and Program Testing’ IEEE Trans Comp C-30 Jan 81.

    Google Scholar 

  10. C.V.Ramamoorthy, S.F.Ho, W.T.Chen, ‘On the Automated Generation of Program Test Data’ IEEE Trans SE SE-2 Dec 76.

    Google Scholar 

  11. M.L.Shooman, 'software Engineering’ McGraw Hill 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICL Defence Systems, West Gorton, M12 5DR, Manchester, United Kingdom

    G. T. Scullard

Authors
  1. G. T. Scullard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robin E. Bloomfield Lynn S. Marshall Roger B. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Scullard, G.T. (1988). Test case selection using VDM. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-50214-9_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45955-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics