一种衡量测试覆盖率的方式:Mutation Test

测试用例代码覆盖率的意义

一般的软件测试关注测试用例的代码复杂度,理想的状态是100%的代码覆盖率,即测试用例能将所有业务代码执行一遍,保证所有的函数、方法、模块都被测试过。一些测试工具,如JaCoco等,可以统计测试用例的代码覆盖率。

代码覆盖率的局限性

举一个简单的例子,判断一个正数是不是自然数:

package com.example.pitest;

public class NaturalNumber {

  private int num;

  public NaturalNumber(int num) {
    this.num = num;
  }
  // wrong condition judgement
  public boolean isNaturalNumber() {
    return num > 0;
  }
}

引入JaCoCo gradle插件

plugins {
    id 'java'
    id 'jacoco'
}

以上函数isNaturalNumber()对于自然数的判断条件明显错误(正确应为num >= 0)。然而如果我们的测试用例不够完善,就会忽略这个错误,比如下面的测试用例:

package com.example.pitest;

import org.junit.Assert;
import org.junit.Test;

public class TestNaturalNumber {

  @Test
  public void PositiveNumberIsNaturalNumber() {
    Assert.assertTrue(new NaturalNumber(10).isNaturalNumber());
  }

  @Test
  public void NegativeNumberIsNotNaturalNumber() {
    Assert.assertFalse(new NaturalNumber(-10).isNaturalNumber());
  }
}

运行JaCoCo test命令

 ./gradlew jacocoTestReport 

以上测试用例使用10和-10作为输入,测试isNaturalNumber方法能否做出正确判断。如果我们使用JaCoCo作为代码测试覆盖率工具,因为此时num > 0的两个分支均已覆盖到,JaCoCo会显示此时的代码覆盖率是100%。但这里的测试用例显然是不充分的,因为它没有反映最为关键的num == 0的情况。而一般的代码覆盖率工具无法有效地反映出这一点。

JaCoCo Report

mutation test的意义

普通的代码覆盖率检查并不能有效检测出上述测试用例的缺失,背后原因是以上的两个测试用例仅仅是分别将num > 0的两个分支路径执行了一遍,而并没有真正体现出此判断条件的作用,如果我们将num > 0 改为 num > 1,上述测试用例一样可以通过且代码覆盖率为100%。

针对类似情况,我们可以引入mutation test框架

Mutation testing (or mutation analysis or program mutation) is used to design new software tests and evaluate the quality of existing software tests. Mutation testing involves modifying a program in small ways. Each mutated version is called a mutant and tests detect and reject mutants by causing the behavior of the original version to differ from the mutant. This is called killing the mutant. Test suites are measured by the percentage of mutants that they kill. ... The purpose is to help the tester develop effective tests or locate weaknesses in the test data used for the program or in sections of the code that are seldom or never accessed during execution.

简言之,mutation test会在程序编译或运行时插入微小的差异(mutant),理想的测试用例应当能够检测出这些差异带来的程序行为异常。如果一个mutant引发的程序行为异常能够被testcases捕捉并导致testcases失败,则称mutant被消灭(killed);反之如果mutant带来的程序行为变化无法被测试用例捕捉,则称mutant存活(survived)。理想的测试用例应当能够100%消灭mutants,这意味着程序中所有的判断、运算的作用均已被测试用例运行并捕捉到。

mutation test with PITest

PITest是一个比较流行的mutation test框架,可以在程序编译时期插入差异,并生成mutation coverage报告,结合以上例子,如果使用PITest生成测试报告,会发现测试用例存在覆盖率不足的问题。

引入PITest gradle插件

buildscript {
    repositories {
        mavenCentral()
    }
    dependencies {
        classpath 'info.solidsoft.gradle.pitest:gradle-pitest-plugin:1.4.5'
    }
}
apply plugin: 'info.solidsoft.pitest'

运行同样的测试用例

./gradlew pitest

生成的测试报告会显示,代码覆盖度是100%,但mutation覆盖度仅为67%。

Name Line Coverage Mutation Coverage
NaturalNumber.java 100% 4/4 67% 2/3

我们可以发现,由changed conditional boundary(CONDITIONALS_BOUNDARY)带来的一个mutation survived。这个mutation的行为是将num > 0改为num >= 0,即更改边界条件,但测试用例没能捕捉到这个差异。

PITest Report

为了捕捉到这个mutant,我们需要针对num == 0这种边界条件添加新的测试用例,而当我们添加了这个测试用例后,错误的判断条件(num > 0)就会被测试出来。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,456评论 5 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,370评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,337评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,583评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,596评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,572评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,936评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,595评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,850评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,601评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,685评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,371评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,951评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,934评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,167评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 43,636评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,411评论 2 342

推荐阅读更多精彩内容