Мақаланы E-mail арқылы жіберу 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
