Titlebook: Dependable Computing - EDCC-2; Second European Depe Andrzej Hlawiczka,Jo?o Gabriel Silva,Luca Simoncin Conference proceedings 1996 Springer

粗俗人

Graphite

A theory of specification-based testing for object-oriented software,rocedure, and give techniques to select a finite and pertinent test set from an exhaustive test set, including all the possible behaviors of the class under test, by applying test reduction hypothesis. We also study the construction of an oracle, the procedure that analyses the results of the tests, adapted to object-oriented software.

尊重

0302-9743 ctober 1996..The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, v

鍍金

粉筆

Efficiency of Navigation in Indexed Networks a minimum impact on the normal behavior of the whole system. Implementation of the described techniques will significantly improve the system ability to safely react to possible faults. This will be quantitatively determined in the subsequent dependability evaluation phase.

違法事實(shí)

Network-Based Models in Molecular Biology to determine if a bridging fault with local feedback gives an intermediate voltage which is higher or lower than a given threshold voltage. The approach is extremely faster than the previous ones since no SPICE simulation is required.

似少年

Advances in the Theory of Complex Networkss with the number of acceptable faulty cache blocks, the percentage of the cache area with respect to the whole chip area and various manufacturing process parameters as defect densities and the fault clustering parameter.

不遵守

Reporting and Business Analysis,ms and libraries of metaobjects. Transparency and separation of concerns is provided not only to the application programmer but also to the programmers implementing metaobjects for fault tolerance, secure communication and distribution. Common services required for implementing metaobjects are provi

correspondent

Munificent

Configuration and Post-Installation, faultinjection experiments. In an earlier paper, several techniques for sampling the fault/activity input space of a fault tolerance mechanism were presented. Various estimators based on simple sampling in the whole space and stratified sampling in a partitioned space were studied; confidence limit