The expected extension files are in without compiling
The full fileName, i.e. [[name]].[[extension]]
The operator(s) that are needed to get the mutant from the [[Program]].
If the mutant is equivalent to [[Program]] this should be true. If it is not equivalent, it should be false. Else empty/unknown/none/null
The [[Program]] that the mutant originates from.
The difference between the [[Mutant]] and the [[Program]]. Should be generated using the following bash command: diff -u0 --ignore-all-space --ignore-blank-lines [SoftwareSourceCode location] [mutant location] | tail -n+3
The RIP model classifying equivalent mutants as defined by J. Voas and G. McGraw in "Software Fault Injection:Inoculating Programs Against Errors." and extended by X. Yao et al. in "A Study of Equivalent and Stubborn Mutation Operatorsusing Human Analysis of Equivalence".
Mutated statement or predicate cannot be reached.
Mutated sub-expression never evaluated though its containing predicate is.
Not context free, but infection cannot occur in anyreachingstate.
Mutation changes path executed, but all paths are equivalent.
No output statement mentions an infected variable.
Outputs mention infected variable(s), but infection fails to reach any.
A rule that will change a small part of [[Program]], e.g. < would become >=.
The short name, or abbreviation, of the mutant operator.
The text representation in LaTeX of the mathematical operation.
The type of operation the operator will perform.
The type of operation the operator will perform. Options: [[InsertionOperator]], [[ReplacementOperator]], [[DeletionOperator]]
The class of the operator as defined by King and Offurr in "A fortran language system for mutation-based software testing"
The class of operator as defined by King and Offurr in "A fortran language system for mutation-based software testing" Options: [[CoincidentalCorrectness]], [[PredicateAnalysis]], [[StatementAnalysis]]
CoincidentalCorrectness, also CCA, changes to variable names or other references.
Predicate analysis, also PDA, changes to the predicate of a statement.
StatementAnalysis, also SAL, changes to entire statements.
The primitive action of operator used as defined by Y. Ma in "Description of muJava's Method-level Mutation Operators"
An arithmetic operator is a mathematical function that takes two operands and performs a calculation on them. This operator excludes any bitwise operations, e.g. {+,-,*,/,%,++,--} for the [[schema:ComputerLanguage]] Java.
A relational operator is an operator that tests or defines some kind of relation between two entities, e.g. {>, >=, <, <=, ==, !=} for the [[schema:ComputerLanguage]] Java.
A Conditional operator, also short circuit boolean operator, is an operator with which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression, e.g. {&&,||} for the [[schema:ComputerLanguage]] Java.
A shift operator does a bitwise operation that shifts all of the bits of its operand, e.g. {>>,<<,>>>} for the [[schema:ComputerLanguage]] Java.
A logical operator is a bitwise operation that is not a shift operator, e.g. {&, |, ~} for the [[schema:ComputerLanguage]] Java.
A short-cut assignment operator, is a operator that combines the assignment with another operation, e.g. {+=,-=,*=,/=,%=,>>=,<<=,>>>=} for the [[schema:ComputerLanguage]] Java
A statement operator does an operation on a statement
A variabl operator does an operation on a variable
A constant operator does an operation on a constant