Undecidability Theorem

According to the undecidability theorem, most software quality properties are not provable. Therefore, what kind of testing techniques do we use to achieve software quality?

How many faults does Windows XP have?

Research shows that there are about 5 faults per 1000 lines of code in carefully made programs, which means that 1 million lines of codes will have 5000 faults. Windows XP has approximately 45 million lines of code. How many faults does Windows XP have? A simple calculation shows that there are 45 x 5000 = 225,000 faults in Windows XP. Discuss the following questions: (1) Isn’t it a miracle that the system operated at all with this number of faults? (2) Why not remove the faults?

Java Class Fraction

Rational fractions are of the form a / b, where a and b are integers and b != 0. In this exercise, by "fractions" we mean rational fractions. Suppose a / b and c / d are fractions. Arithmetic operations on fractions are defined by the following rules: a/b + c/d = (ad + bc) / bd a/b - c/d = (ad - bc) / bd a/b * c/d = ac / bd (a/b) / (c/d) = ad / bc Hint: Check carefully to avoid divide by zero! Design the class Fraction that can be used to manipulate fractions in a program. Among others, the class Fraction must include methods to add, subtract, multiply, and divide fractions. When you add, subtract, multiply, or divide fractions, your answer need not be in the lowest term... click for more

Fagan Design Review

Discuss the advantages and disadvantages of customary question/answer roles between the author and the reviewer’s active design reviews and Fagan design review.

How to control variations in program

Since every program that is created is different from every other program, what are the variations that we look for and how do we control them?