Safety and reliability are related but not identical. Nevertheless, it is difficult to imagine deploying a critical software product that might be safe but not reliable. Increasing software reliability or safety is a matter of focus on fault handling with the objective to avoid and/or reduce the consequences of software failures. The software fault handling techniques used to implement and verify safety and reliability comprise: fault prevention, tolerance, removal and forecasting. Fault removal techniques can be used in earlier development stages not only to support on deciding the fault prevention and/or fault tolerance mechanisms to use, but for verification and validation purposes too. Fault removal static techniques should complement the never 100% test coverage. Which techniques to use and why, are still controversial questions. This paper intends to present how static fault removal techniques can aid to verify software safety and reliability.
展开▼