A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

摘要: Fundamental to the development of redundant software techniques (known as fault-tolerant software) is an understanding impact multiple joint occurrences errors, referred here coincident errors. A theoretical basis for study developed which 1) provides a probabilistic framework empirically evaluating effectiveness general multiversion strategy when component versions are subject and 2) permits analytical effects these An intensity function, called has central role in this analysis. This function describes propensity programmers introduce design faults such way that components fail together executing application environment. We give condition under system better than relying on single version we some differences between errors model assumes independent failures verions.