java - 如何杀死条件边界突变体

Question

我开始深入研究代码分析和突变体。我正在使用 PITest 作为我的 eclipse 项目的插件。我遇到了这个我无法杀死的变种人。假设我有以下代码。

class Mutation{
        public static void main(String [] args){
            int i=0;
            String SPECIAL_CHARS = "?!$@";
            String password = "Something";
            for (int pos = 0; pos < password.length(); pos++) {
                char c = password.charAt(pos);
                if(SPECIAL_CHARS.indexOf(c) < 0) {
                 i++;
                }
            }
    }
}

据我的理解，如果有一个不属于 SPECIAL_CHARS 的字符(比如 ( )，变量 i 将PITest 报告了两个突变体。

包含以下信息。

我试图编写几个可能杀死这个突变体的 Junit 测试，但没有任何运气。有人可以解释一下如何杀死它吗？

我现在知道，如果我的密码将 ? 作为字符串 password 的第一个字符，则条件边界检查可能会被终止。增量又如何呢？这是什么意思？

Answer 1

不可能编写一个测试来消除您提供的代码中任何可能的突变体，因为该代码不执行任何操作。该方法返回void，并且代码不执行任何副作用。

Pitest 可以删除此方法中的所有代码，并且该程序在功能上是等效的。

如果代码被修改以便产生某种输出(也许是特殊字符的计数？)并且输入密码没有被硬编码，那么就可以编写测试来区分变异程序和未变异的程序。突变的一个。

条件边界突变体生成的代码相当于

if (SPECIAL_CHARS.indexOf(c) <= 0 )

这可以通过在密码的 0 索引处使用特殊字符的测试用例来检测，该测试用例检查是否在计数中检测到了这一点。

增量变异运算符将增量转换为减量，即从

i++

至

i--

这是一个相当不稳定的突变，任何提供包含在结果计数上断言的特殊字符的密码的测试用例都会检测到。