Paul's Ph.D. Thesis

An overview is presented in the abstract

If you are downloading part of the main body, then I would be grateful if you could let me know. Also for identification purposes please make sure you take a copy of the title page (cover.txt). Thank you.

Here are the files (they are in UNIX compressed Postscript format):

readme.txt	  Readme file
cover.txt	    Cover with title, name, date, institution
th1.ps.Z (232K)	  Contents, Acknowledgements, Chapters 1, 2 and 2
th2.ps.Z (248K)	  Chapters 4 and 5
th3.ps.Z (141K)	  Chapters 6 and 7
th4.ps.Z (79K)     Appendices, References

For those of you who take the trouble to read into the heart of the Theory of Conformance Testing, I have since found a proof that the Unified Tester is indeed a tester for the reduction preorder in the given context. You can download the proof here (it is only a little over 2 pages):

 uniproof.ps (80K)

If you have any comments or queries about the thesis, then I shall try my best to answer, time allowing.

- Paul Trafford