ABSTRACT
This chapter deals with the first half of the definition, which addresses verification independence. Verification is an integral process that applies throughout the entire software life cycle. Verification is an important process in any software life cycle but is especially so for safety-critical software. The purpose of software testing is to uncover errors that were made during the development phases. Integration is the process of putting the software components together. Performance testing evaluates the run-time performance of the software within the integrated system and identifies bottlenecks in the system. When module-level testing is used, there is generally some additional software/software integration testing required in addition to the high-level software/hardware integration testing. The more critical the software, the more verification activities are required, and the more confidence we have that errors have been identified and removed. An analysis is a verification activity that provides repeatable evidence of correctness.
