Final Preview
Thurs, Dec 13 2:00-3:50
841f07finalpreview27dec6
11
Final Exam
– voting systems
 Q2 – hamlet – rewriting systems
 Q3 – comparison of ideas/terms/topics
 Q4 – reliability
 Q5 - experimentation
 Q1
841f07finalpreview27dec6
2
Q1 – voting systems
 Build
a correct-wrong table for a voting
system based on four or more programs and
calculate the probability of the voting
system.
 Evaluate what failure rates (failure set size,
overlap) would make a voting system
practical (e.g. at least twice as likely to be
correct)
841f07finalpreview27dec6
3
Q2 - hamlet – rewriting systems
 Given
a class that calculates some function.
Write a rule that specifies the output and
write rules that allow generates alternative
inputs that would give the same answer
841f07finalpreview27dec6
4
Q3 - comparison of ideas/terms/topics
 How
does the concept of xxx change or not
change from the paper by yyy to the paper
by zzz:
 Failure set, operational profile, subdomain
testing, diversity, safety critical, etc
841f07finalpreview27dec6
5
Q4 - reliability
 E.g.
Does the calculations from Frankl’s
concept of delivered reliability support or
contradict a specific conclusion of the type
of Zachariah?
• For a claim like “method x is better than
method y if z is true”, can you use Frankl’s
formulas to find a counter-example or will it
always hold?
841f07finalpreview27dec6
6
Q5 – experimentation
 Can
you evaluate an experimental design
based on Briand’s paper and/or other
papers/discussions?
 Can you discuss issues related to an
experimental design based on Briand’s
paper and/or other papers/discussions?
841f07finalpreview27dec6
7