变异测试muJava的使用

准备文件

环境配置

给下载的三个jar包配置CLASSPATH
将三个jar包的路径添加到CLASSPATH中,我的路径是F:\muJava目录下,如图
配置环境变量

生成变异体

  1. 命名并新建一个文件夹,随便命名,我的是mujavaHome,文件夹里的结构如下:文件结构
  • classes:src中源代码经过正确编译的.class文件
  • result:生成的变异结果
  • src:待测的java程序源代码
  • testset:JUnit测试用例的.java文件以及.class文件
  1. 将mujava.config放到该文件夹下,用记事本打开,将其内容设置为该文件夹路径,我的是F:\mujavaHome
  2. 创建两个文本文件,分别是GenMutants.cmd和RunTest.cmd
    GenMutants的内容为:Java mujava.gui.GenMutantsMain
    RunTest的内容为:java mujava.gui.RunTestMain > TestResult.txt
  3. 在eclipse中新建一个java项目,通过evosuite生成测试用例文件,java文件最好创建在一个无名包下面,然后对Test修改错误,重命名。java项目
  4. 将被测源文件的.java文件复制到src,被测源文件的.class文件复制到classes,测试用例文件Test的.java和.class复制到testset中。(所有的java和class文件都可以在eclipse的项目的工作空间内找到)
  5. 运行GenMutants.cmd,如图,左侧勾选需要的Java源文件,右边勾选变异的方法和级别。如果对具体类型不了解可以直接All。点击Generate运行。
    GenMutants.cmd
    当命令行页面出现All files are handled时,运行完成。可以点击第二个标签页,查看具体变异后的代码。变体.java与.class位于result文件夹。
    All files are handled
    变异后的代码
    变异体存放的位置

测试变异体

运行RunTest.cmd,设定相关参数后点击Run进行变异测试。测试完成后可以看到统计结果,测试结果的详细内容被输出到mujavaHome\TestResult.txt中。除了在GUI上查看测试结果统计信息,更详细的测试输出可以在TestResult.txt中查看。RunTest.cmd
TestResult.txt

参考链接

https://blog.csdn.net/tjuyanming/article/details/68921517.
https://blog.csdn.net/wkw1125/article/details/51967630.
https://blog.csdn.net/u010612262/article/details/21391635.
https://blog.csdn.net/u011954243/article/details/77962329.

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章