17 Noncovered Code (Dead, Extraneous, and Deactivated Code)

Acronym

PSAC Plan Software Aspects of Certification
SAS Software Accomplishment Summary

17.1 Introduction

When structural coverage is performed to ensure that the requirements-based tests fully exercise the code structure (as discussed in Chapter 9), there may be some code that is not covered (i.e., not exercised by the tests). If the lack of coverage is due to missing requirements or tests, the requirements and tests are updated and re-executed as appropriate. There may be some code that cannot be exercised in the test environment but still meets the requirements (e.g., code that functions during initialization or defensive code). Such code needs to be verified through an alternate ...

Get Developing Safety-Critical Software now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.