a dependency graph that represent the data and control flow dependencies between nodes, statements. It must also play a role in software testing. Testability in software is important quality ...