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:

readme.txt	  Readme file
cover.txt	    Cover with title, name, date, institution
thesis1.pdf (529K)	  Contents, Acknowledgements, Chapters 1, 2 and 2
thesis2.pdf (248K)	  Chapters 4 and 5
thesis3.pdf (141K)	  Chapters 6 and 7
thesis4.pdf (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.pdf (80K)

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

- Paul Trafford