1. Software testing

5. Testing phases

8. The software testing process

12. Incremental integration testing

15. Black-box testing

17. Testing scenario

18. System tests

20. Collect weather data sequence chart

25. Weather station object interface

28. Interface testing

34. LIBSYS requirements

35. LIBSYS tests

37. Equivalence partitioning

38. Equivalence partitions

39. Search routine specification procedure Search (Key : ELEM ; T: SEQ of ELEM; Found : in out BOOLEAN; L: in out ELEM_INDEX) ; Pre-condition -- the sequence has at least one element T’FIRST <= T’LAST Post-condition -- the element is found and is referenced by L ( Found and T (L) = Key) or -- the element is not in the array ( not Found and not ( exists i, T’FIRST >= i <= T’LAST, T (i) = Key ))

42. Search routine - input partitions

44. Structural testing

46. Binary search equiv. partitions

47. Binary search - test cases

49. Binary search flow graph

52. A testing workbench