Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software

This article presents a refined approach to quantitative software reliability assessment taking into account coverage of interactions and relevance of variables. For this purpose, an automatic test generation procedure is presented, based on a multi-objective optimization problem to be solved by genetic algorithms. The applicability of the resulting approach is finally illustrated via an interaction-intensive component-based example.