Testing

Some quotes out of the book from Glenford Myers, ``The Art of Software Testing'':

``Testing is the process of executing a program with the intent of finding errors.''

``A good test case is one that has a high probability of detecting an as-yet undiscovered error.''

``A successful test case is one that finds an error. An unsuccessful test case is one that causes a program to produce the correct result.''

``One should start with the assumption that the program contains errors and then test the program to find as many of the errors as possible.''

Initial Conclusions:

Testing is a destructive process.

The money invested in the development of tests pays off if enough errors are found which would have been more costly if they would have been detected much later (e.g. at the customer's installation).

Tests allow to proof the presence of faults but not the correctness of a program.

	``Testing is the process of executing a program with the intent of finding errors.''
	``A good test case is one that has a high probability of detecting an as-yet undiscovered error.''
	``A successful test case is one that finds an error. An unsuccessful test case is one that causes a program to produce the correct result.''
	``One should start with the assumption that the program contains errors and then test the program to find as many of the errors as possible.''

	Testing is a destructive process.
	The money invested in the development of tests pays off if enough errors are found which would have been more costly if they would have been detected much later (e.g. at the customer's installation).
	Tests allow to proof the presence of faults but not the correctness of a program.