Статическое тестирование для Scala - PullRequest
3 голосов
/ 07 декабря 2009

В Scala есть несколько хороших библиотек для тестирования ( Спецификации , ScalaTest , ScalaCheck ). Однако с помощью мощной системы типов Scala важные части API, разрабатываемого в Scala, выражаются статически, обычно в форме нежелательного или недопустимого поведения, предотвращаемого компилятором.

Итак, каков наилучший способ проверить, предотвращается ли что-то компилятором при проектировании библиотеки или другого API? Неудобно комментировать код, который должен быть некомпилируемым, а затем раскомментировать его для проверки.

Придуманный пример тестирования Список:

val list: List[Int] = List(1, 2, 3)
// should not compile
// list.add("Chicka-Chicka-Boom-Boom")

Одна из существующих библиотек тестирования обрабатывает подобные случаи? Есть ли подход, который люди используют, который работает?

Подход, который я рассматривал, заключался в том, чтобы встроить код в строку с тройными кавычками или элемент xml и вызвать компилятор в моем тесте. Код вызова выглядит примерно так:

should {
  notCompile(<code>
    val list: List[Int] = List(1, 2, 3)
    list.add("Chicka-Chicka-Boom-Boom")
  </code>)
}

Или что-то похожее на сценарий ожидаемого , вызываемый интерпретатором.

1 Ответ

7 голосов
/ 07 декабря 2009

Я создал несколько спецификаций, выполняющих некоторые фрагменты кода и проверяющих результаты интерпретатора.

Вы можете взглянуть на черту Snippets . Идея состоит в том, чтобы сохранить в некотором org.specs.util.Property [Snippet] код для выполнения:

val it: Property[Snippet] = Property(Snippet(""))
"import scala.collection.List" prelude it // will be prepended to any code in the it snippet
"val list: List[Int] = List(1, 2, 3)" snip it // snip some code (keeping the prelude)
"list.add("Chicka-Chicka-Boom-Boom")" add it  // add some code to the previously snipped code. A new snip would remove the previous code (except the prelude)

 execute(it) must include("error: value add is not a member of List[Int]") // check the interpreter output

Основным недостатком, который я обнаружил при таком подходе, была медлительность переводчика. Я пока не знаю, как это можно ускорить.

Эрик.

...