Software testing for safety-critical applications

The purpose of software testing is to uncover bugs for removal and ensure the software's compliance with user requirements. In the mission-critical or life-critical systems, testing is an indispensable phase in the software life cycle. Unit testing for each program module helps to eliminate the inner errors and defects in logic and functionality. Integration testing is then conducted to detect and repair the structure errors in subsystems. Verification examines the software's adherence to the design requirements. Finally, system testing and validation examines whether the overall system meets the user expectations.