首页 > 代码库 > Software Testing soot —— 软件测试soot安装及使用

Software Testing soot —— 软件测试soot安装及使用

Well, I try to install soot in Eclipse through "help -> install...", but when I finish it, I can not find "soot" on the right click of project.

So, I use soot in command line. 

Firstly, put soot-trunk.jar under bin. And run soot. 

java -cp soot-trunk.jar soot.tools.CFGViewer --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar homeWork.homeWork

Tipes: The first one is package name, and the second one is class name.

技术分享

Then, open the file. There is a new file called "sootOutput".

技术分享

As we can see, A new document is created in sootOutput.

技术分享

Open the document, it is difficult for us to read clearly.

技术分享

Thus, install graphviz. Use graphviz dot to switch a document to a picture. Before that, we should config environment.

技术分享

The name of the document is too long, so I change the name.

技术分享

Run graphviz dot.

dot -Tpng -o homeWork.png homeWork.dot

Give the name of the picture and the last one is the name of your document.

技术分享

Result.

技术分享

技术分享

 

Software Testing soot —— 软件测试soot安装及使用