Skip to main content
SpringerLink
Log in

A Randomised Test Approach to Testing Safety Critical Ada Code

  • Conference paper
Book cover Reliable Software Technologies - Ada-Europe 2004 (Ada-Europe 2004)

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

Included in the following conference series:

  • 570 Accesses

Abstract

The on board safety critical Ada code for the Indian Light Combat Aircraft, Tejas, has been tested in a Non Real Time (NRT) mode. This method of testing has a few drawbacks. The methodology suffers with certain deficiencies in areas such as coverage metrics, test case generation, and test case selection for regression testing. These drawbacks can be removed by using Randomised Test Approach to generate the test cases. This paper details the philosophy and presents some results of optimising test case generation using Genetic Algorithms.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chetty, S., Deodhare, G., Misra, B.B.: Design, Development and Flight Testing of Control Laws for the Indian Light Combat Aircraft. In: AIAA Guidance, Navigation and Control Conference, Monterey, CA (August 2002)

    Google Scholar 

  2. Jeppu, Y.V., et al.: Testing Safety Critical Ada Code Using Non Real Time Testing. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 382–393. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Xu, R., et al.: Embedded Core Testing using Genetic Algorithms. In: Asian Test Symposium, pp. 254–259 (2000)

    Google Scholar 

  4. Christopher, R.H., et al.: A Genetic Algorithm for Function Optimisation: A Matlab Implementation, available with the toolbox on the Internet

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Aeronautical Development Agency, PO.Box-1718, Vimanapura Post, Bangalore, Pin 560017, India

    Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu & Kundapur Karunakar

Authors
  1. Sukant K. Giri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Atit Mishra
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yogananda V. Jeppu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kundapur Karunakar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, The University of the Balearic Islands, Carretera de Valldemossa km 7.5, 07122, Palma de Mallorca, Spain

    Albert Llamosí

  2. School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), CH-1015, Lausanne, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giri, S.K., Mishra, A., Jeppu, Y.V., Karunakar, K. (2004). A Randomised Test Approach to Testing Safety Critical Ada Code. In: Llamosí, A., Strohmeier, A. (eds) Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science, vol 3063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24841-5_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24841-5_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22011-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation