Developing Safety-Critical Software

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 ...