How to Write Bug-Free Code - A Live Demonstration

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

• Douglas Squirrel, youdDevise.com
• Wednesday 10 October 2007, 14:15-15:15
• Lecture Theatre 1, Computer Laboratory.

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

Humans have been telling computers what to do for sixty years or more, and our methods have improved from setting switches on a panel to near-English computing languages and even graphical programming systems. Yet with frightening frequency, our instructions do not cause the behaviour we want, with consequences ranging from the annoying (the blue screen of death appearing on an airport schedule screen) to the tragic (a medical device overdosing a patient with radiation because of a threading error). Most programmers learn to live with the fear that comes from wondering whether the class, or the method, or even the line they have just written will do what they expect when executed.

In recent years software engineers have developed methods and tools that dramatically reduce the mismatch between programmer intention and machine behaviour. I will discuss a number of these tools, including Checkstyle, FindBugs, Jumble, Selenium, and JUnit, all of which my colleagues and I use daily. As a demonstration, I will undertake to make bug-free modifications to a program using specifications suggested by the audience, employing a coding style called “test-driven development”. To add spice, the program being modified will be the one that I am using to drive the presentation!

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

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.