标签:height live csdn mamicode 编写 https clip src 创建
1.整个路径结构
2.具体内容
2.1mujava的安装
2.1.1更改CLASSPATH环境变量,使命令行可以找到mujava的路径,方便之后mujava的使用。
2.1.2在系统某一路径下按照格式创建文件夹
2.1.3下载mujava.config文件并放置在muJavaHome文件夹中,更改内容为当前路径
2.1.4创建命令文件,方便一会儿使用mujava
在muJavaHome中下创建两个Txt,另存为cmd后缀,方便运行mujava程序。
txt分别内容为:
GenMutants.cmd: java mujava.gui.GenMutantsMain
RunTest.cmd: java mujava.gui.RunTestMain >TestResult.txt
2.2生成变体
2.2.1将两个Java文件放到src文件夹中
2.2.2对Java文件进行编译,将生成的.class文件放到classes文件夹中
2.2.3运行刚才写好的GenMutants.cmd命令,进入到mujava的GUI界面中,并生成mutant
进入到的mujava的GUI
选择要操作的java文件和生成mutant的operator,并点击Generate
此时生成完毕后可在其余两个选项卡中查看生成的变体,变体的
.java 文件和.class文件位于result文件夹中
2.3编写测试用例
先在eclipse中用Junit编写测试用例,保证测试用例的正确性。
然后去掉包等信息,使用javac编译,将生成的class文件放到testset文件夹中。注意编译时,要将源BackPack.java和BubbleSort.java放在同一目录中,否则,编译不能成功。
2.4对生成的mutant进行测试
运行刚才写好的RunTest.cmd命令
在生成的GUI界面设置测试的参数后,点击run
Killed82个,live10个,mutantScore为89.0%
2.5测试日志
在mujava目录下有测试日志输出到文件TestResult.txt
3.参考资料
https://blog.csdn.net/wkw1125/article/details/51967630
标签:height live csdn mamicode 编写 https clip src 创建
原文地址:https://www.cnblogs.com/guopinghai/p/10750765.html