Satisfying DO-178C Structural Coverage Objectives |
| |
| Authors: | V. P. Kozyrev M. A. Saburov |
| |
| Affiliation: | 1.National Research Nuclear University MEPhI (Moscow Engineering Physics Institute),Moscow,Russia;2.State Research Institute of Aviation Systems (GosNIIAS),Moscow,Russia |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
