软件测试利用SOOT生成程序流图

1、程序流图必须将每个小判断都作为一个节点 而非网上大多数将一个复合if语句只作为一个节点而简化了流程图！ 例如if ((A == B && B == C ) || (C == D && D == E)) 有四个判断 就会产生四个节点 下面进入正题： 本文不介绍soot及graphviz的安装方法 程序如下图所示： public class Main { public static in

>>阅读原文<<