University of Cambridge > Talks.cam > Wednesday Seminars - Department of Computer Science and Technology  > How to prove that a communications protocol stack is up to the job

How to prove that a communications protocol stack is up to the job

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Timothy G. Griffin.

The ususal means is of course by testing, but what is meant by testing? Most of the industry writes tests which are designed to prove that the design works, or if desigend to be stress tests, designed to be reproducable. In my opinion both of these are misguided, and in my talk I will describe a different approach, which is designed to break the product and uses random scenarios, but has been, I believe, key to CSR ’s sucess. So far as I know we are unique in doing it in the manner I shall desicribe.

BIO : Mr Collier has served as the Company’s Chief Technical Officer since CSR ’s establishment in April 1999. Mr Collier is a co-founder of CSR . Between 1984 and April 1999, Mr Collier held a number of executive and technical positions at Cambridge Consultants Ltd, where he formed the microelectronics group in 1987. Prior to 1984, Mr Collier held a number of executive and technical positions at Schlumberger. Mr Collier has a degree in physics from the University of Oxford.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity