University Homepage School Homepage School Contacts School Search

Software Testing: Resources

Note that many of these links are only accessible from within the University or other organisations with academic subscriptions to the sites in question.

Introductory material

• Programmers Love Writing Tests argues the case for lightweight testing with JUnit.
• Software Testing article by Kapfhammer.
• Whittaker, What is software testing? And why is it so hard?.
• Harrold, Testing: a roadmap.

Useful web sites

• The Pressman testing resources page provides a useful starting point; the Testing Strategies and Testing Tactics pages of their downloadable reference library list many interesting articles.
• Cem Kaner's Center for Software Testing Education & Research provides access to some useful material.
• The Software Engineering Body of Knowledge (SWEBOK) is a useful source of information on Software Engineering (including the syllabus for this course.)
• Opensourcetesting.org is a useful repository of open source testing tools.

Tools

• The JUnit site provides a wealth of useful information on JUnit and the host of JUnit-based products.
• This tutorial describes how to use JUnit with Eclipse.
• An OnJava article on using JUnit with the Eclipse IDE.
• Coverlipse is basic, but available as an Eclipse plugin on DICE machines.
• Cobertura is more sophisticated but isn't integrated into the Eclipse IDE.
• JCoverage is a sophisticated commercial Eclipse plugin.
• Abbot is a Java GUI test framework.
• FIT, the Framework for Integrated Test, is a tool which enhances communication between developers and users by allowing users to write tests in the form of structured (HTML) tables.
• FitNesse hooks FIT up to a wiki, making collaborative development of tests even easier.

Specification-based testing

• Ostrand & Balcer, The category-partition method for specifying and generating fuctional tests.
• Harel, Statecharts: a visual formalism for complex systems.

Model-based testing

• Rushby, Using model checking to help discover mode confusions and other automation surprises.

Structural testing

• Clarke et al., A comparison of data flow path selection criteria.
• Clarke et al., A formal evaluation of data flow path selection criteria.
• Frankl & Weyuker, An applicable family of data flow testing criteria.
• Ntafos, A comparison of some structural testing strategies.
• Rapps & Weyuker, Data flow analysis techniques for test data selection.
• Zhu et al., Software unit test coverage and adequacy.

Fault-based testing

• Ma et al., MuJava: an automated class mutation system
• Offutt et al., An experimental determination of sufficient mutant operators

Common coding errors

• The SANS list of the “Top 25 most dangerous programming errors”. Very security-focussed, but still interesting.
• David Reilly's Top Ten Errors Java Programmers Make.
• Eric Allen's Diagnosing Java code columns.

Integration testing

• Lutz, Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems
• Offutt et al., An analysis tool for coupling-based integration testing

GUI testing

• Memon et al., Coverage criteria for GUI testing.
• GUI Testing Checklist.
• Joseph Bergin's article on XP Testing a GUI with FIT, Fitnesse, and Abbot.
• There's a long list of further reading on page 11 of the lecture 12 slides.

---

Version 1.2, 2009/12/18 17:28:12