Failure Size Proportional Models

1
Failure Size Proportional Models

• Zachariah and Rattihalli
• IEEE Trans on Reli
• June 2007

2
(No Transcript)
3
Q2 Failures of Voting
In van der Meulens article, he mentioned using
the diversity of software programs to improve
reliability. Assume that there are 3 programs
(Pa, Pb, Pc) that each have failure probabilities
of .2 Their failures sets (A,B,C) overlap such
that size of AB(where both Pa and Pb fail) is .5
of A and .5 of B. Pc is independent of A
and/or B. Find the probability of failure of a
voting system that uses these 3 programs.
4
(No Transcript)
5
(No Transcript)
6
(No Transcript)
7
(No Transcript)
8
(No Transcript)
9
Term Rewriting Rules

• Write Term Rewriting Rules that are true and
  could be used to change the input values into
  equivalent sets of input values. Justify that
  these rules do produce diverse executions.

10
Zachariah

• Basic Claim

11
S-expected
12
Conclusions
13
Conclusions partition and random
14
Notation
15
Assumptions
16
Estimations
17
Partition Assumptions
18
Frankl
19
Remaining Lectures

• Tues, 12/4 Briand, A Critical Analysis of
  Empirical Research in Software Testing
• Thurs, 12/6 finish Briand, review for final
• Wed, 12/12 200-350 150 pts