Titlebook: Software Fault Tolerance; Achievement and Asse Manfred Kersken,Francesca Saglietti Book 1992 ECSC — EEC — EAEC, Brussels — Luxembourg 1992

受辱

保存

magnate

Estimation of Failure Correlation in Diverse Software Systems with Dependent Components,The intention of this chapter is to investigate on the inaccuracy resulting from fault-tolerance estimations, which are based on the assumption of failure independence among diverse versions.

Anticoagulant

Measurement of Diversity Degree by Quantification of Dissimilarity in the Input Partition,Apart from the observable program features mentioned in previous chapters (failure times and structural complexity measures), an additional characteristic, which might be analyzed in order to investigate on the reliability achieved by redundancy, is represented by the difference in the input partition of parallel versions.

confederacy

救护车

煤渣

A Theoretical Evaluation of the Acceptance Test in Recovery Block Programming,This chapter is intended to propose a theoretical evaluation of Recovery Block systems considering, in particular, the extent to which the degree of reliability achieved depends upon the choice of the underlying acceptance test program.

COM

Location of Checkpoints by Considering Information Reduction,All the fault-tolerant approaches proposed in the previous chapters are essentially concerned with a fundamental question, which has long been neglected: where to locate the checkpoints, i.e. which intermediate results (beside the final output) should be diversely checked in order to optimize the achievement of fault-tolerance.

Mucosa

Overview,ss particularly reliable programs. So far, the existing constructive methods to avoid errors during the programming phase as well as the analytical methods to remove them during the testing phase have proved to be useful, but unfortunately insufficient to ensure the required degree of correctness.

清楚说话