Satisfying DO-178C Structural Coverage Objectives
- 作者: Kozyrev V.1, Saburov M.2
-
隶属关系:
- National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
- State Research Institute of Aviation Systems (GosNIIAS)
- 期: 卷 44, 编号 1 (2018)
- 页面: 43-50
- 栏目: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176575
- DOI: https://doi.org/10.1134/S0361768818010048
- ID: 176575
如何引用文章
详细
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.
作者简介
V. Kozyrev
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
编辑信件的主要联系方式.
Email: vkozyrev@list.ru
俄罗斯联邦, Kashirskoe sh. 31, Moscow, 115409
M. Saburov
State Research Institute of Aviation Systems (GosNIIAS)
Email: vkozyrev@list.ru
俄罗斯联邦, ul. Viktorenko 7, Moscow, 125319