• No results found

Chapter 8

N/A
N/A
Protected

Academic year: 2021

Share "Chapter 8"

Copied!
74
0
0

Loading.... (view fulltext now)

Full text

(1)

Chapter 8

Testing and Debugging

(2)

Chapter Goals

• To learn how to carry out unit tests

• To understand the principles of test case selection and evaluation

• To learn how to use logging and assertions

• To become familiar with the debugger

• To learn strategies for effective debugging

(3)

Unit Test

Test classes in isolation, outside the program in which they are used

Test one class at a time

Supply test inputs through test harness

Test harness = program that feeds test

inputs to a class

(4)

Root Approximator

• Example program to illustrate testing: square root approximator Algorithm known to the ancient Greeks (Heron) Task: to compute the square root of a Given: a guess x (ok to start

with 1) Actual square root lies between x and a/x

(5)

• Take midpoint (x + a/x) / 2 as a better guess Method converges rapidly. Square root of 100:

• Guess #1: 50.5

Guess #2: 26.24009900990099 Guess #3: 15.025530119986813 Guess #4: 10.840434673026925 Guess #5: 10.032578510960604 Guess #6: 10.000052895642693 Guess #7: 10.000000000139897 Guess #8: 10.0

(6)

File RootApproximator.java

1 /**

2 Computes approximations to the square root of 3 a number, using Heron's algorithm

4 */

5 public class RootApproximator

6 {

(7)

7 /**

8 Constructs a root approximator for a given number 9 @param aNumber the number from which to extract

the square root

10 (Precondition: aNumber >= 0) 11 */

12 public RootApproximator(double aNumber) 13 {

14 a = aNumber;

(8)

16 xnew = a;

17 } 18

19 /**

20 Compute a better guess from the current guess.

21 @return the next guess 22 */

23 public double nextGuess()

24 {

(9)

25 xold = xnew;

26 if (xold != 0)

27 xnew = (xold + a / xold) / 2;

28 return xnew;

29 } 30

31 /**

32 Compute the root by repeatedly improving the current

33 guess until two successive guesses are

(10)

34 @return the computed value for the square root

35 */

36 public double getRoot() 37 {

38 while (!Numeric.approxEqual(xnew, xold)) 39 nextGuess();

40 return xnew;

41 }

42

(11)

43 private double a; // the number whose square root is computed

44 private double xnew; // the current guess 45 private double xold; // the old guess

46 }

(12)

File RootApproximatorTest.java

1 import javax.swing.JOptionPane;

2

3 /**

4 This program prints ten approximations for a square root.

5 */

6 public class RootApproximatorTest

7 {

(13)

8 public static void main(String[] args) 9 {

10 String input

11 = JOptionPane.showInputDialog("Enter a number");

12 double x = Double.parseDouble(input);

13 RootApproximator r = new RootApproximator(x);

14 final int MAX_TRIES = 10;

15 for (int tries = 1; tries <= MAX_TRIES; tries++)

(14)

16 {

17 double y = r.nextGuess();

18 System.out.println("Guess #" + tries + ": "

+ y);

19 }

20 System.exit(0);

21 }

22 }

(15)

Unit Test with BlueJ

(16)

File RootApproximatorTest2.java

1 import javax.swing.JOptionPane;

2

3 /**

4 This program computes square roots of user- supplied inputs.

5 */

6 public class RootApproximatorTest2 7 {

8 public static void main(String[] args)

9 {

(17)

10 boolean done = false;

11 while (!done) 12 {

13 String input = JOptionPane.showInputDialog(

14 "Enter a number, Cancel to quit");

15

16 if (input == null) 17 done = true;

18 else

(18)

20 double x = Double.parseDouble(input);

21 RootApproximator r = new RootApproximator(x);

22 double y = r.getRoot();

23

24 System.out.println("square root of " + x 25 + " = " + y);

26 } 27 }

28 System.exit(0);

29 }

30 }

(19)

Read Inputs from File

 Prepare a file with test inputs, such as – 100

20 4 1 0.25

 Use input redirection0.01

– java RootApproximatorTest3 < test.in

 Output

– square root of 100.0 = 10.0

square root of 20.0 = 4.47213595499958 . . .

(20)

File RootApproximatorTest3.java

1 import java.io.BufferedReader;

2 import java.io.InputStreamReader;

3 import java.io.IOException;

4

5 /**

6 This program computes square roots of inputs supplied

7 through System.in

8 */

(21)

9 public class RootApproximatorTest3 10 {

11 public static void main(String[] args) 12 throws IOException

13 {

14 BufferedReader console

15 = new BufferedReader(new

InputStreamReader(System.in));

16 boolean done = false;

(22)

17 while (!done) 18 {

19 String input = console.readLine();

20 if (input == null) done = true;

21 else 22 {

23 double x = Double.parseDouble(input);

24 RootApproximator r = new

RootApproximator(x);

(23)

25 double y = r.getRoot();

26

27 System.out.println("square root of " + x 28 + " = " + y);

29 }

30 }

31 }

32 }

(24)

Sources of Test Data

• Provided by humans

RootApproximatorTest3

Computer-generated sequence

RootApproximatorTest4 Random sequence

RootApproximatorTest5

(25)

File RootApproximatorTest4.java

1 /**

2 This program computes square roots of input values

3 supplied by a loop.

4 */

5 public class RootApproximatorTest4

(26)

7 public static void main(String[] args) 8 {

9 final double MIN = 1;

10 final double MAX = 10;

11 final double INCREMENT = 0.5;

12 for (double x = MIN; x <= MAX; x = x + INCREMENT)

13 {

14 RootApproximator r = new

RootApproximator(x);

(27)

15 double y = r.getRoot();

16 System.out.println("square root of " + x 17 + " = " + y);

18 }

19 }

20 }

(28)

File RootApproximatorTest5.java

1 import java.util.Random;

2

3 /**

4 This program computes square roots of random inputs.

5 */

(29)

6 public class RootApproximatorTest5 7 {

8 public static void main(String[] args) 9 {

10 final double SAMPLES = 100;

11 Random generator = new Random();

12 for (int i = 1; i <= SAMPLES; i++)

13 { // generate random test value

(30)

15 double x = 1.0E6 * generator.nextDouble();

16 RootApproximator r = new RootApproximator(x);

17 double y = r.getRoot();

18 System.out.println("square root of " + x 19 + " = " + y);

20 }

21 }

22 }

(31)

Test Cases

Positive test case: expect positive outcome

E.g square root of 100

Negative test case: expect negative outcome

E.g square root of 100

Boundary test case: at boundary of domain

Frequent cause for errors

(32)

Test Case Evaluation

Manual

RootApproximatorTest3

Check property of result

E.g. square root squared = original value RootApproximatorTest6

Oracle = slower way of computing answer E.g. square root of x = x

1/2

RootApproximatorTest7

(33)

File RootApproximatorTest6.java

1 import java.util.Random;

2

3 /**

4 This program verifies the computation of square root values

5 by checking a mathematical property of

square roots.

(34)

7 public class RootApproximatorTest6 8 {

9 public static void main(String[] args) 10 {

11 final double SAMPLES = 100;

12 int passcount = 0;

13 int failcount = 0;

14 Random generator = new Random();

15 for (int i = 1; i <= SAMPLES; i++)

16 {

(35)

17 // generate random test value 18

19 double x = 1.0E6 * generator.nextDouble();

20 RootApproximator r = new RootApproximator(x);

21 double y = r.getRoot();

22 System.out.println("square root of " + x 23 + " = " + y);

24

(36)

25 // check that test value fulfills square property

26

27 if (Numeric.approxEqual(y * y, x)) 28 {

29 System.out.println("Test passed.");

30 passcount++;

31 }

32 else

33 {

(37)

34 System.out.println("Test failed.");

35 failcount++;

36 } 37 }

38 System.out.println("Pass: " + passcount);

39 System.out.println("Fail: " + failcount);

40 }

41 }

(38)

File RootApproximatorTest7.java

1 import java.util.Random;

2

3 /**

4 This program verifies the computation of square root values

5 by using an oracle.

6 */

7 public class RootApproximatorTest7

8 {

(39)

9 public static void main(String[] args) 10 {

11 final double SAMPLES = 100;

12 int passcount = 0;

13 int failcount = 0;

14 Random generator = new Random();

15 for (int i = 1; i <= SAMPLES; i++) 16 {

17 // generate random test value

(40)

19 double x = 1.0E6 * generator.nextDouble();

20 RootApproximator r = new RootApproximator(x);

21 double y = r.getRoot();

22 System.out.println("square root of " + x 23 + " = " + y);

24

25 double oracleValue = Math.pow(x, 0.5);

26

(41)

27 // check that test value approximately equals oracle value

28

29 if (Numeric.approxEqual(y, oracleValue)) 30 {

31 System.out.println("Test passed.");

32 passcount++;

33 }

34 else

(42)

36 System.out.println("Test failed.");

37 failcount++;

38 } 39 }

40 System.out.println("Pass: " + passcount);

41 System.out.println("Fail: " + failcount);

42 }

43 }

(43)

Regression Testing

• Save test cases Automate testing

• java Program < test1.in > test1.out java Program < test2.in > test2.out java Program < test3.in > test3.out

• Repeat test whenever progam changes Test suite = collection of test cases Cycling = bug that is fixed but reappears in later versions

Regression testing = testing against past

failures

(44)

Test Coverage

• Black-box testing: test functionality without understanding internal structure

• White-box testing: take internal structure into account when designing tests

• Test coverage: the code that is actually executed during test cases

• Easy to overlook error branches during testing

Make sure to execute each branch in at least

one test case

(45)

Program Trace

 Output statements in your program for diagnostic purposes

– if (status == SINGLE) {

System.out.println("status is SINGLE");

...

} ...

 Stack trace tells you the contents of the call stack

– Throwable t = new Throwable();

(46)

– Looks like exception report:

– java.lang.Throwable

at TaxReturn.getTax(TaxReturn.java:26)

at TaxReturnTest.main(TaxReturnTest.java:30)

 Drawback of trace messages: Need to remove

them when testing is complete, stick them back

in when another error is found

(47)

Logging

Get global logger object:

Logger logger = Logger.getLogger("global");

Log a message

logger.info("status is SINGLE");

By default, logged messages are printed. Turn them off with

logger.setLevel(Level.OFF);

(48)

Assertions

Assertion = assumption that you believe to be true

–assert y >= 0;

root = Math.sqrt(y);

If assertion fails, program is terminated

Can be used to assert pre/postconditions

Must compile/run with special flags –javac -source 1.4 MyProg.java

java -enableassertions MyProg

(49)

The Debugger

Debugger = program to run your program, interrupt it, and inspect variables

Three key commands:

Set Breakpoint

Single Step

Inspect Variable

Two variations of Single Step

Step Over = don't enter method call

(50)

The Debugger Stopping at a

Breakpoint

(51)

Inspecting Variables

(52)

Sample Debugging Session

Word class counts syllables in a word

Each group of adjacent vowels (aeiouy) is a syllable

However, an e at the end of a word doesn't count

If algorithm gives count of 0, increment to 1

Constructor removes non-letters at beginning and

Buggy output: end

–Syllables in hello: 1

Syllables in regal: 1

Syllables in real: 1

(53)

File Word.java

1 public class Word 2 {

3 /**

4 Constructs a word by removing leading and trailing non-

5 letter characters, such as punctuation marks.

6 @param s the input string

(54)

8 public Word(String s) 9 {

10 int i = 0;

11 while (i < s.length() && !

Character.isLetter(s.charAt(i))) 12 i++;

13 int j = s.length() - 1;

14 while (j > i && !

Character.isLetter(s.charAt(j)))

15 j--;

(55)

16 text = s.substring(i, j + 1);

17 } 18

19 /**

20 Returns the text of the word, after removal of the

21 leading and trailing non-letter characters.

22 @return the text of the word

23 */

(56)

24 public String getText() 25 {

26 return text;

27 } 28

29 /**

30 Counts the syllables in the word.

31 @return the syllable count

32 */

(57)

33 public int countSyllables() 34 {

35 int count = 0;

36 int end = text.length() - 1;

37 if (end < 0) return 0; // the empty string has no syllables

38

39 // an e at the end of the word doesn't count

as a vowel

(58)

40 char ch =

Character.toLowerCase(text.charAt(end));

41 if (ch == 'e') end--;

42

43 boolean insideVowelGroup = false;

44 for (int i = 0; i <= end; i++) 45 {

46 ch = Character.toLowerCase(text.charAt(i));

47 if ("aeiouy".indexOf(ch) >= 0)

48 {

(59)

49 // ch is a vowel

50 if (!insideVowelGroup) 51 {

52 // start of new vowel group 53 count++;

54 insideVowelGroup = true;

55 }

56 }

(60)

58 insideVowelGroup = false;

59 } 60

61 // every word has at least one syllable 62 if (count == 0)

63 count = 1;

64

65 return count;

66 } 67

68 private String text;

69 }

(61)

File WordTest.java

1 import java.util.StringTokenizer;

2 import javax.swing.JOptionPane;

3

4 public class WordTest 5 {

6 public static void main(String[] args)

7 {

(62)

8 String input

9 = JOptionPane.showInputDialog("Enter a sentence");

10 StringTokenizer tokenizer = new StringTokenizer(input);

11 while (tokenizer.hasMoreTokens()) 12 {

13 String token = tokenizer.nextToken();

14 Word w = new Word(token);

(63)

15 int syllables = w.countSyllables();

16 System.out.println("Syllables in " + w.getText() + ": "

17 + syllables);

18 }

19 System.exit(0);

20 }

21 }

(64)

Final Letter Test is Not Correct

Set breakpoint in line 35 (first line of countSyllables)

Start program, supply input hello

Method checks if final letter is 'e'

Run to line 41

Inspect variable ch

Should contain final letter but contains 'l'

(65)

Debugging the countSyllables

Method

(66)

The Current Values of the Local

and Instance Variables

(67)

More Problems Found

end is set to 3, not 4

text contains "hell", not "hello"

No wonder countSyllables returns 1

Culprit is elsewhere

Can't go back in time

Restart and set breakpoint in Word

(68)

Debugging the Word Constructor

 Supply "hello" input again

 Break past the end of second loop in constructor

 Inspect i and j

 They are 0 and 4--makes sense since the input consists of letters

 Why is text set to "hell"?

 Off-by-one error: Second parameter of substring is the first position not to include

 text = substring(i, j);

should be

text = substring(i, j + 1);

(69)

Debugging the Word Constructor

(70)

Another Error

Fix the error

Recompile

Test again:

–Syllables in hello: 2 Syllables in regal: 1 Syllables in real: 1

Oh no, it's still not right

Start debugger

Erase all old breakpoints

Supply input "regal"

(71)

Debugging countSyllables (again)

Break in the beginning of countSyllables

Single-step through loop

First iteration ('r'): skips test for vowel

Second iteration ('e'): passes test, increments count

Third iteration ('g'): skips test

Fourth iteration ('a'): passes test, but doesn't

increment count

(72)

insideVowelGroup was never reset to false

Fix and retest: All test cases pass

Is the program now bug-free? The

debugger can't answer that.

(73)

The First Bug

(74)

Therac-25 Facility

References

Related documents

The second part includes the simulation-based fault location analysis based on the two selected fault location techniques, under different fault conditions and with different

Thus, according to Trigeorgis(1996), before the expiration date, the option to defer will be which is analogous to an American call option on the gross present value

End of Safety Data Sheet Commercial Product Name: Mortein Low Irritant Odourless Mozzie Zapper Insecticide. Mats Page 9

To recap from Chapter 4, the community sport policy making process has five stages: (1) national agencies (the DCMS and Sport England) debate and agree the policy

The hypothesis of a size adjustment by smaller new entrants immediately after entry is confirmed in most selected industries in Italian manufacturing; more specifically,

The following is a discussion of the research results of observations, FGDS and the discourse analyses conducted for this study, presented according to emerging themes, which

Accelus Audit Manager’s AutoAudit is used by hundreds of companies, non-profits, and governmental organizations across the globe to implement audit plans that balance board audit

Rotate Antenna using Left/Right arrows on Vu Qube remote until signal appears on Signal Meter screen.. NOTE: Antenna is pointed directly at coaxial cable connector and toward