MuJava简洁

µJava (muJava) 是 Java 程序的变异系统。 它自动生成用于传统突变测试和类级别突变测试的突变体。 µJava 可以测试单个类和多个类的包。 用户以对封装在单独 JUnit 类的方法中的被测类的方法调用序列的形式提供测试。

官网地址：µJava Home Page

归档表格

(共计16个方法级别的变异算子)

一共有3个操作：replace, delete, and insert

针对6类基本运算符：(1) arithmetic operator, (2) relational operator, (3) conditional operator, (4) shift operator, (5) logical operator, and (6) assignment

产生了7类变异算子

---

1 Arithmetic Operators

(1) +, (2) -, (3) *, (4) /, and (5) %

(1) op++, (2) ++op, (3) op−−, and (4) −−op.

2 Relational Operators

(1) >, (2) >=, (3) <, (4) <=, (5) ==, and (6) ! =

3 Conditional Operators

(1) &&, (2) ||, (3) &, (4) |, and (5) ˆ

4 Shift Operators

(1) >>, (2) >>> , and (3) >>>>.

5 Logical Operators

(1) &, (2) |, and (3) ˆ.

6 Assignment Operators

(1) +=, (2) -=, (3) *=, (4) /=, (5) %=, (6) &=, (7) | =, (8) ˆ=, (9) >=, and (11) >>>=

7 Deletion Operators

参考文档 ： Description of muJava’s Method-level Mutation Operators