CSE 1020:Software Development Mark Shtern

The Development Process Requirements Design Implementation Testing Deployment

Interactive Development Process Phase 1 Requirement Design Implementation Testing Evaluation Deployment if it is needed Phase 2 Phase N

Software Testing A formal proof Testing Manual Automatic  harness is a collection of software and test data configured to test a program unit by running it under varying conditions and monitoring its behaviour and outputs

Testing Is verification that every input that satisfied precondition leads to the postcondition Testing strategy: select a sample of all the possible valid inputs and verify correctness only for sample Each element of the sample is called test case The sample as a whole is called the test suite or the test vector

Test cases Input Loop Random File

Testing Black-box testing White-box testing

The Test Vector Domain Coverage  selected from a set that covers the entire input domain Likely range Boundary cases Execution-Path Coverage  include cases to ensure that every statement and every path in code will executed Regression Testing  include cases to ensure functionality of the product

Debugging Error messages Internal assertions Debug messages Using debuggers

Exersise 7.6 Perform a black-box testing on a method that takes two integer parameters and return a string. The method’s precondition states that two integers must be positive and less than 50. Select a test vector (a) (-5,5) (-1,0) (1, -5) (3,0) (b) (5,3) (3,5) (5,5) (3,3) (c) (1,3) (3,5) (10,49) (1,49) (49,1) (49,15) (d) (71,12) (50,5) (12,75) (51,7)

Exercise 7.7 (White box) final int MIN = 5; final int MAX = 10; final int LIMIT = 5; if (x < MIN) output.println(“Left”); else if (x < MAX && y < LIMIT) output.println(“Middle”); else if (x < MAX) output.println (“Top”); else output.println(“Right”);

Exercises 7.12 Write an app that reads a double x from the user, ensures that it is in [0,1], or else terminates with error message, and then computes and outputs the following sum: x - x2/2 + x3/3 - x4/4 … The apps stop adding when the absolute value of the term is less than 10-3 Test cases 0  0 0.5  0.41 1  0.69