Is it possible to piTest a removed call to scala/MatchError::<init>

Question

我很想知道是否可以使用 Pitest/ScalaCheck

完全测试以下代码

测试方法：

  def insertionSort(xs: List[Int]): List[Int] = xs match {
    case Nil => Nil
    case a :: as => insert(a, insertionSort(as))
  }

  private def insert(x: Int, xs: List[Int]): List[Int] = xs match {
    case Nil => List(x)
    case a :: as =>
      if (a >= x) x :: xs
      else a :: insert(x, as)
  }

提供的测试：

@RunWith(classOf[ScalaCheckJUnitPropertiesRunner])
class InsertionSortTests extends Properties("InsertionSortTests") {
   private val nonEmptyIntListGen: Gen[List[Int]] = Gen.nonEmptyListOf(Arbitrary.arbitrary[Int])

  property("ordered") = forAll(nonEmptyIntListGen) { (xs: List[Int]) =>
    val sorted = insertionSort(xs)
    xs.nonEmpty ==> xs.indices.tail.forall((i: Int) => sorted(i - 1) <= sorted(i))
  }

  property("permutation") = forAll { (xs: List[Int]) =>
    val sorted = insertionSort(xs)
    def count(a: Int, as: List[Int]) = as.count(_ == a)
    xs.forall((x: Int) => count(x, xs) == count(x, sorted))
  }
}

除以下几行外，我得到了全面覆盖：

def insertionSort(xs: List[Int]): List[Int] = xs match {

private def insert(x: Int, xs: List[Int]): List[Int] = xs match {

我在两条线上都收到以下错误：

1. removed call to scala/MatchError::<init> → NO_COVERAGE

Answer 1

对 scala/MatchError 的调用由编译器在匹配失败的情况下合成（这是对 MatchError 的构造函数的调用，如果 none cases 在模式匹配中适用）。由于您的模式匹配实际上是详尽无遗的，因此没有办法让匹配失败，因此在 Scala 中没有办法强制匹配失败（假设您使用的是标准库 List；如果您正在使用您自己的 List 实现，也许它不是 sealed？）

这可能是一个 Scala 编译器错误，它为失败的模式匹配生成字节码，但不能失败。

我不熟悉 pitest，但它很可能不理解 Scala（或 Scala 编译器发出的字节码的更高级别语义）；依赖字节码操作的工具可能并不总是像使用 Scala Java 那样工作。

Is it possible to piTest a removed call to scala/MatchError::<init>

Is it possible to piTest a removed call to scala/MatchError::<init>

java

scala

pitest