2.4.1 Graph-based Testing Methods
• Black-box methods based on the nature of the relationships (links) among the program objects (nodes), test cases are designed to traverse the entire graph
• Transaction flow testing (nodes represent steps in some transaction and links represent logical connections between steps that need to be validated)
• Finite state modeling (nodes represent user observable states of the software and links represent transitions between states)
• Data flow modeling (nodes are data objects and links are transformations from one data object to another)
• Timing modeling (nodes are program objects and links are sequential connections between these objects, link weights are required execution times)




