Skip to main content
SpringerLink
Log in

Automated testing techniques for real-time embedded software

  • VIII — Validation
  • Conference paper
  • First Online:
ESEC '87 (ESEC 1987)

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

Included in the following conference series:

Abstract

Major difficulties often occur when attempting to test software which is used in real-time embedded systems. This paper investigates the problems associated with this class of software and considers those automated techniques which have been successfully applied in other areas and those which look sufficiently promising to justify investigation. It looks firstly at the problem of dynamically testing large systems and then concentrates on the special problems of testing real-time systems. The authors believe that by using the techniques described here, specialised automated testing systems for real-time embedded software will become available in the near future.

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.

5. References

  1. G.A.Gaines, "An External Debugging System for Weapon System Programs Written in a Higher Level Language", Proceedings of COMPSAC, Chicago, pp. 158–162, 1978.

    Google Scholar 

  2. R.L. Glass, "Real-Time: The "Lost World" of Software Debugging and Testing", Communications of the ACM, Vol. 23, No. 5, pp.264–271, 1980.

    Google Scholar 

  3. M.A.Hennell, D.Hedley and I.J.Riddell, "The LDRA Software Testbeds: Their Roles and Capabilities", Proceedings of IEEE SoftFair '83 Conference, Arlington, Virginia, pp. 69–77, July 1983.

    Google Scholar 

  4. J.C. Huang, M. Ho and T. Law, "A Simulator for Real-time Software Debugging and Testing", Software — Practice and Experience, Vol. 14, No. 9, pp. 845–855, 1984.

    Google Scholar 

  5. R.N. Taylor, "An Integrated Verification and Testing Environment", Software — Practice and Experience, Vol. 13, No. 8, pp. 697–713, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computational Mathematics, The University of Liverpool, L69 3BX, Liverpool, U. K.

    M. A. Hennell

  2. Liverpool Data Research Associates Ltd., 131, Mount Pleasant, L3 5TF, Liverpool, U. K.

    D. Hedley & I. J. Riddell

Authors
  1. M. A. Hennell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Hedley
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. I. J. Riddell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Howard Nichols Dan Simpson

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hennell, M.A., Hedley, D., Riddell, I.J. (1987). Automated testing techniques for real-time embedded software. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022117

Download citation

  • DOI: https://doi.org/10.1007/BFb0022117

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18712-7

  • Online ISBN: 978-3-540-48117-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation