In my research I need to draw a control flow graph from rechability graph.I am searching for some methods by which I can draw the CFG from rechability graph and from that CFG i will generate test cases. Here the rechability graph is constructed from the Colored Petri Net.Can anyone help me please??
Aucun commentaire:
Enregistrer un commentaire