A Geometric Theory of Program Testing.

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

• Tony Hoare, FRS FREng
• Friday 19 January 2018, 14:00-15:00
• FW26.

If you have a question about this talk, please contact Victor Gomes.

Tony Hoare, FRS FR Eng, Hon Mem Cambridge University Computing Laboratory.

In modern agile program development, significant resources are devoted to the unit testing of modifications to a large concurrent object-oriented program in long-term and often world-wide service. We suggest that a log of the actions of a test which reveals a fault should be displayed as a diagram in the two dimensions of space and time. Such diagrams are widely used physics (eg, by multi-sensor recorders), in electronic timing diagrams, and in top-down design of software architecture, using Message Sequence Charts (or similar).

We show how many of the basic features of concurrent object oriented program execution can be simply described in an abstract (non-metric) plane geometry, combining ideas of Euclid and Descartes with those of Petri, Dahl and Nygaard, Stroustrup and many others. We suggest that the geometry is a highly intuitive denotational semantic foundation for the definition of families of programming languages, which may then be used in combination. Verification-oriented and operational semantics can then be defined and derived from the denotational.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.