Skip to main content
SpringerLink
Log in

Structural Coverage Analysis with DO-178B Standards

  • Conference paper
  • First Online:
International Conference on Advanced Computing Networking and Informatics

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 870))

  • 692 Accesses

Abstract

Software testing is one of the most important ways to protect civil aviation safety and reliability of software for airborne equipments. D-178B/C standards are used to assure safety of avionics software and control systems and provide certificates according to safety criteria. This paper describes two different phases to achieve structural coverage analysis using DO-178B/C standards. Analysis of structural coverage can be done using to capture the amount of code which is covered of the airborne software. The first phase which contains the instrumentation procedure which instrument the source code at execution time and second phase is generating a report which specifies that which portion of source code is executed and which one is not in the form of percentage. Implementation is done for first metric which is statement coverage.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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

References

  1. Air Traffic Organization, Software Verification Tools Assessment Study, Air Traffic Organization Operations Planning Office of Aviation Research and Development Washington, DC 20591, DOT/FAA/AR-06/54, June 2007

    Google Scholar 

  2. W. Gifford, Structural coverage analysis method, in 15th AIAA/IEEE (1996)

    Google Scholar 

  3. Seven Roadblocks to 100% Structural Coverage (and how to avoid them), White Paper, Rapita System ltd

    Google Scholar 

  4. Software Verification Tools Assessment Study, Air Traffic Organization Operations Planning Office of Aviation Research and Development (Washington, DC 20591, DOT/FAA/AR-06/54, June 2007)

    Google Scholar 

  5. S. Park, I. Hussain, K. Taneja, B.M. Mainul Hossain, M. Grechanik, C. Fu, Q. Xie, CarFast: achieving higher statement coverage faster, 11–16 Nov 2012

    Google Scholar 

  6. H. Zhu, P.A.V. Hall, J.H.R. May, Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366–427 (1997)

    Article  Google Scholar 

  7. S. Namin, S. Kakarla, The use of mutation in testing experiments and its sensitivity to external threats, in ISSTA (2011), pp. 342–352

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. U & P U Patel, Department of Computer Engineering, CSPIT, CHARUSAT, Changa, India

    Parnasi Patel & Chintan Bhatt

  2. EInfochips Ltd., Ahmedabad, India

    Darshan Talati

Authors
  1. Parnasi Patel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chintan Bhatt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Darshan Talati
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Parnasi Patel .

Editor information

Editors and Affiliations

  1. Medi-Caps University, Indore, Madhya Pradesh, India

    Raj Kamal

  2. Loughborough University, Loughborough, UK

    Michael Henshaw

  3. Medi-Caps Group of Institutions, Indore, Madhya Pradesh, India

    Pramod S. Nair

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Patel, P., Bhatt, C., Talati, D. (2019). Structural Coverage Analysis with DO-178B Standards. In: Kamal, R., Henshaw, M., Nair, P. (eds) International Conference on Advanced Computing Networking and Informatics. Advances in Intelligent Systems and Computing, vol 870. Springer, Singapore. https://doi.org/10.1007/978-981-13-2673-8_42

Download citation

  • DOI: https://doi.org/10.1007/978-981-13-2673-8_42

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-13-2672-1

  • Online ISBN: 978-981-13-2673-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation