Satisfying DO-178C Structural Coverage Objectives
- Autores: Kozyrev V.1, Saburov M.2
-
Afiliações:
- National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
- State Research Institute of Aviation Systems (GosNIIAS)
- Edição: Volume 44, Nº 1 (2018)
- Páginas: 43-50
- Seção: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176575
- DOI: https://doi.org/10.1134/S0361768818010048
- ID: 176575
Citar
Resumo
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.
Sobre autores
V. Kozyrev
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
Autor responsável pela correspondência
Email: vkozyrev@list.ru
Rússia, Kashirskoe sh. 31, Moscow, 115409
M. Saburov
State Research Institute of Aviation Systems (GosNIIAS)
Email: vkozyrev@list.ru
Rússia, ul. Viktorenko 7, Moscow, 125319