Practical Experiences With Graph Based Software Testing
Alan Richardson gave a talk at StarEast 2003 based around his experiences with Graph Based Testing.
You can read the 27 page supporting paper as a pdf file here.
Tool Changes and New Tools
Some tools have new versions since the paper was written and I have stumbled across some new tools.
- Graphopt has a new version
- Tintfu has been updated
- here is another dot editor for windows DynaGraph
- Tulip is designed to visualise large graphs, and uses its own graph file format, but can import from GML. It does have some fairly complicated install dependencies.
- AGD is a library available for non-commercial usage. You have to register before downloading and it may take a couple of days to have the registration processed before you can download the software.
- PAJEK is another visualisation tool for large graphs.
In the paper I mention how simple it would be to construct a spreadsheet that you can use to create the graphs and use to build extra functionality with.
Well, I thought it would be unfair to let that statement stand without proof, so I have knocked up a small spreadsheet here. Feel free to download it and change as you require. Instructions on its use can be found in the zip (196kb).
Useful Links From the Paper
Links to the majority of graph languages, lists of graph books and links to the Graph Drawing Symposiums
Graph Drawing Tools and Related Work page has a list of tools
Graph Theory Tutorials, by Chris Caldwell
Reinhard Diestel’s “Graph Theory”, 2nd Edition, published by Springer, has an on-line electronic version.
Harry Robinson’s model based testing site always has plenty of interesting papers