Products:
Compendium-TA
A modelling tool
Email Control Center
Free - Control Outlook
URL Control Center
Free url manager
Perl Path Analysis
Free Testing Tool
Test Utilities in Excel
Free Testing Utilities
Test Data Utilities
Free Test Data Utilities
ForceWindowVisible
Free System Util
Compendium Developments Software Testing Reviews, Essays and Tools
 
Web site

 

Page 6

index: [Page 1] [Page 2] [Page 3] [Page 4] [Page 5] [Page 6] [Page 7] [Page 8]

Appendix 1: Graph Theory Cheat Sheet19

Appendix 2: References. 20

Appendix 3: Relevant web sites. 21

Appendix 1: Graph Theory Cheat Sheet

 

A Graph has Vertices and Edges.

 

Edges Join vertices. (synonyms; Vertex:Node).

 

The count of the number of edges which have the vertex as an end point is the Degree of that vertex.

 

Concepts:

-          Multiple Edges between the same two vertices

-          Loop, an edge from a vertex to the same vertex

-          Two vertices are Adjacent when joined by an edge; two edges are Adjacent when they have a shared vertex

-          A Weight is a value assigned to an edge, a graph with weighted edges is a Weighted Graph
 

-          Vertices are Incident to the edge joining them

-          Simple Graph has no loops or multiple edges

-          Digraph is a graph where the edges have a direction (Directed Graph)
 

-          An edge in a Digraph is called an Arc

-          In a digraph, the degree of a vertex is the out-degree for arcs out of the vertex and the in-degree for arcs into the vertex

-          A Vertex with In-degree of 0 is a Source and a Vertex with Out-degree of 0 is a Sink

-          Subgraph is defined in terms of a Graph minus edges; G – {e,f,g} (where e,f,g are edges)

-          an End Vertex has degree of 1; an Isolated Vertex has degree of  0

 

 

-          A Walk is a sequence of edges, from the Initial Vertex to the Final Vertex.  The length of a walk is the number of edges.

-          A Path is a walk in which no vertex appears more than once.

-          A Trail is a walk where no edge appears more than once

-          A walk is Closed when the Initial Vertex is the same as the Final Vertex

-          A Cycle is a walk where the start vertex is the end vertice.

 

-          A Connected Graph is in one piece

 

-          A Disconnected Graph is one with more than one piece

-          A Tree is a graph with 1 path between each pair of vertices.

-          A Forest is a disconnected graph where each graph is a tree

 

-          Planar Graph is a graph that can be redrawn without edges crossing

 

 

Graphs can be represented non visually as lists & matrices.

Graph:

List:

A: B, C

B: C, D

C: D

 

 

Adjacency Matrix:

Incidence Matrix:

V x V where each entry is the number of edges joining the vertices

V x E where each entry is 1 if vertex  is incident to edge and 0 if it is not

 

-

A

B

C

D

A

0

1

1

0

B

0

0

1

1

C

0

0

0

1

D

0

0

0

0

 

 

-

1

2

3

4

5

A

1

1

0

0

0

B

1

0

1

1

0

C

0

1

1

0

1

D

0

0

0

1

1

 

 

 

Graph Types: Null, Complete, Cycle, Path, Wheel, Regular, Biparite, Cubes, Simple, Eulerian, Hamiltonian, Isomorphic

 

 

Recommended References

 

  • Introduction to Graph Theory, Robin J. Wilson, 1996, Longman
  • Graph Theory Techniques in Model Based Testing, Harry Robinson, http://www.geocities.com/harry_robinson_testing/graph_theory.htm

 


Appendix 2: References

 

[Ambler02]           

Agile Modelling – Effective Practices for extreme programming and the unified process, Scott Ambler, 2002, John Wiley & Sons

 

[Beizer95]              

Black Box Testing, Boris Beizer, 1995, John Wiley & Sons,

 

[Beizer90]              

Software testing techniques, Boris Beizer, 1990, Van Nostrand Reinhold, 2nd Edition

 

[Binder00]             

Testing Object Oriented Systems, Robert V. Binder, 2000, Addison Wesley

 

[wwwAlt]                              

The Compendium Developments Alternative Tools List (http://www.compendiumdev.co.uk/alttools/index.php)

 

[wwwPP]                               

The Compendium Developments Perl Path Analysis tool (http://www.compendiumdev.co.uk/perltools/)

Appendix 3: Relevant web sites

 

www.graphdrawing.org

Links to the majority of graph languages, lists of graph books and links to the Graph Drawing Symposiums

 

http://rw4.cs.uni-sb.de/users/sander/html/gstools.html

Graph Drawing Tools and Related Work page has a list of tools, most of which are listed in Appendix 4 

 

http://www.utm.edu/departments/math/graph/

Graph Theory Tutorials, by Chris Caldwell

 

http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/

Reinhard Diestel’s ‘Graph Theory’, 2nd Edition, published by Springer, has an on-line electronic version here

 

http://www.model-based-testing.org/

Harry Robinson’s model based testing site always has plenty of interesting papers

 

http://www.compendiumdev.co.uk

My web site has other writings related to graph based testing

Page 6

index: [Page 1] [Page 2] [Page 3] [Page 4] [Page 5] [Page 6] [Page 7] [Page 8]