1. 1 Exam2 Review 841f07exam2review24nov27 1

2. 2 Q1 - Parnas 841f07exam2review24nov27 2 Parnas discussed that software is difficult because failures are not independent, functions are not continuous, and interpolation is not useful. Explain what he meant by each of these ideas and how each of these ideas influence the testing of safety-critical software.

3. 3 Q2 – van der Meulen 841f07exam2review24nov27 3 a.(10 pts) describe his use of equivalence classes. How were they determined? b. (30 pts) In van der Meulen’s article, he mentioned using the diversity of software programs to improve reliability. Assume that there are 3 programs (P a, P b, P c ) that each have failure probabilities of.2 Their failures sets (A,B,C) overlap such that size of AB(where both P a and P b 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. 4 Q3 Hamlet 841f07exam2review24nov27 4 Consider an aquarium that has to make a decision about adding water to their main pool based on the amount of daily rainfall. If they don’t add enough water and there is not adequate rain, the fish die which is very expensive besides being cruel. If they add too much water, it is wasted which costs some money. The inputs are the expected daily rainfall in inches, the water surface area of the pool, and the expected evaporation amount for the next 24 hours. The output of the analysis program is a number that is how much water needs to be added.

5. 5 Q3 part A 841f07exam2review24nov27 5 (15 pts) 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.

6. 6 Q3 part B 841f07exam2review24nov27 6 (20 pts) Explain how the voting system could be used or modified to improve the fish life expectancy.

7. 7 Q3 part C 841f07exam2review24nov27 7 ( 15 pts) How could you test Hamlet’s approach sufficiently to justify to your boss the use of this approach.

8. 8 Q4a Bertolino 841f07exam2review24nov27 8 1.(15 pts) Explain each of the four dreams. Evaluate whether they are practical and whether they are achievable.

9. 9 Q4b Bertolino 841f07exam2review24nov27 9 (10 pts) Explain Bertolino’s view of the effect of OO on software testing (or why is OO testing not easier).

10. 10 Q4c Bertolino 841f07exam2review24nov27 10 1.(5 pts) Explain the following diagram. What are the columns, rows, significance of the placements of items, significance of items that span multiple rows/columns.

11. Remaining Lectures u Thurs, 11/29 – Zachariah paper u Tues, 12/4 – Briand, “A Critical Analysis of Empirical Research in Software Testing” u Thurs, 12/6 – finish Briand, review for final u Wed, 12/12 2:00-3:50 150 pts 11 841f07exam2review24nov27