Software Testing -- LAB03-soot的使用

1.生成dot

2.根据生成的dot生成png图

 

3.结果：

 

4.使用代码

    

package prime;

public class Prime{
public static void main(String[] args) {
        // TODO Auto-generated method stub
        int n = 2;while(n < 200){
            boolean isPrime=false;
            for(int i = 2; i < n; i++) { 
                if(n % i == 0)  {  
                    isPrime = true;   
                    break; 
                    } 
                } 
            if(isPrime==false) { 
                System.out.println(n);
            } 
            n++;
        }
    }
}