Graphs Software Testing