Satisfying DO-178C Structural Coverage Objectives
- Authors: Kozyrev V.P.1, Saburov M.A.2
-
Affiliations:
- National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
- State Research Institute of Aviation Systems (GosNIIAS)
- Issue: Vol 44, No 1 (2018)
- Pages: 43-50
- Section: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176575
- DOI: https://doi.org/10.1134/S0361768818010048
- ID: 176575
Cite item
Abstract
Structural coverage analysis is an important task for the development of safety-critical systems. In particular, structural coverage analysis is one of the objectives specified in RTCA DO-178C for the airborne software verification process. Structural coverage analysis is normally supported by the tools that collect coverage information in the course of test execution. This paper concerns with the problems and methods of structural coverage collecting in order to specify the required functionality of structural coverage collecting tools, which is necessary to provide their compliance with the DO-178C objectives.
About the authors
V. P. Kozyrev
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
Author for correspondence.
Email: vkozyrev@list.ru
Russian Federation, Kashirskoe sh. 31, Moscow, 115409
M. A. Saburov
State Research Institute of Aviation Systems (GosNIIAS)
Email: vkozyrev@list.ru
Russian Federation, ul. Viktorenko 7, Moscow, 125319