## Proceedings of the International School of Physics "Enrico Fermi", Volume 94 |

### From inside the book

Results 1-3 of 33

Page 332

The

which determine how well the program has been tested . A similar criterion based

on fuzzy - set theory is discussed in sect . 3 . 13 Other metrics . - Let the reliability

...

The

**correctness**probability measure discussed above is an example of criteriawhich determine how well the program has been tested . A similar criterion based

on fuzzy - set theory is discussed in sect . 3 . 13 Other metrics . - Let the reliability

...

Page 335

For control modules ,

specification itself can be incorrect , e . g . , some cases may have been

overlooked , etc . However , a weaker assumption which is reasonable in most

cases is that there is ...

For control modules ,

**correctness**proofs are not meaningful since thespecification itself can be incorrect , e . g . , some cases may have been

overlooked , etc . However , a weaker assumption which is reasonable in most

cases is that there is ...

Page 338

Thus it is the possibility or likelihood that xi should actually be processed by E .

The control flow

i < m } . The

...

Thus it is the possibility or likelihood that xi should actually be processed by E .

The control flow

**correctness**possibility of E is CFC ( E ) = min { CFC ( E , xi ) , 1 <i < m } . The

**correctness**possibility of the equivalence class E is C ( E ) = poss { E...

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

STATISTICAL THEORY OF RELIABLITY | 8 |

Definitions and characterizations | 12 |

J KEILSON Stochastic models in reliability theory | 23 |

Copyright | |

37 other sections not shown

### Common terms and phrases

analysis application approach associated assume assumption BARLOW Bayesian calculation called complex components consider constant continuous correctness Course defined density depends derived described detected determine discussed distribution edited epochs equations equivalence ergodic errors estimate example exists expected exponential fact fail failure rate fault function given Hence important increasing independent input integration interest interval known likelihood limit Markov matrix mean measure method modules normal Note observed obtain occur operational parameters performance phase positive possible posterior predictive prior probability problem procedure prove random variables renewal repair requirements rule sample selected sequence simple software reliability space specification statistical stochastic structure Suppose task theorem theory tion transition tree University values York