Le Traon et al. [241] report on a recent measure of the impact of DbC on
(1) vigilance (i.e., the probability that system contracts dynamically detect
erroneous states that if left undetected would have provoked a failure), and
(2) the ability to diagnose (i.e., the effort needed to locate a fault in a system that is