¿Scalatest tiene algún soporte para suposiciones?

Question

Según el título, me pregunto si es posible proporcionar "suposiciones" a Scalatest al definir un caso de prueba en particular. Las suposiciones en este contexto serían condiciones previas para una prueba, de modo que si la suposición se evaluara como falsa, la prueba se saltaría en lugar de ejecutarse (y los corredores la manejarían en consecuencia).

En este caso particular, estoy pensando acerca de las dependencias entre las pruebas - por lo que podría ser una prueba básica que valida si un método devuelve nada en absoluto , seguido por pruebas posteriores que perforan en los detalles de la respuesta. Si la prueba anterior falla, prefiero que la última prueba se marque como "no ejecutable" de alguna manera, en lugar de hacer que también fallen.

Dicho esto, me imagino usar esto en el futuro para definir algunas condiciones previas desconectadas (como el disco duro debe tener al menos 20MB de espacio libre), así que si hay una forma general de skippin una prueba en tiempo de ejecución (en lugar de usando ignore o pending) Prefiero escuchar eso.

La sintaxis especializada es bienvenida, aunque si tengo que lanzar manualmente un cierto tipo de excepción, también está bien.

Answer 1

ScalaTest 2.0 (creo) Añadido soporte para supuestos:

Rasgo Las afirmaciones también proporciona métodos que permiten cancelar una prueba. Usted cancelaría una prueba si un recurso requerido por la prueba no estaba disponible. Por ejemplo, si una prueba requiere que una base de datos externa esté en línea, y no lo es, la prueba podría cancelarse para indicar que no se pudo ejecutar debido a la base de datos faltante. Tal prueba asume una base de datos está disponible, y se puede utilizar el asumir método para indicar esto al comienzo de la prueba, así:

assume(database.isAvailable) 

http://www.scalatest.org/user_guide/using_assertions

Answer 2

Scalacheck, que se utiliza a menudo en combinación con scalatest, puede hacerlo:

import org.scalacheck._ 

object XSpecifictaion extends Properties ("X") { 

    property ("sample (a - b)") = Prop.forAll { (a: Int, b: Int) => 
     (a < b || (a - b >= 0)) } 
} 

! (a < b) es su suposición, y (a - b> = 0) la prueba real; solo realizas el último, si la suposición es cierta, entonces niegas tu suposición y la combinas con un atajo-O.