FsCheck에는 테스트 데이터를 생성하기위한 몇 가지 기본 유형이 있습니다 (Arbitrary). 그러나 나의 시험 날짜 중 하나가 다른 것에 달려 있다면 어떨까요? 는 예를 들어, 결과 문자열이 이상 입력 문자열보다 수 없다 string.Substring()의 특성을 고려 : [Fact]
public void SubstringIsNeverLongerT
파일에 이름 집합이 있습니다. 계속 반복적으로 반복하는 Generator를 구현해야합니다. 그러나 코드는 첫 번째 전달 후 무기한으로 if (iter.hasNext)에 걸려 있습니다. 세대 코드 var asStream = getClass.getResourceAsStream("/firstnames/female/en_US_sample.txt")
var so
패턴과 일치하는 임의의 문자열 (예 : abcd)과 함께 임의의 glob 구문 파일 (예 : a*c?)을 생성하는 FsCheck 생성기를 작성했습니다. 그러나 내 솔루션은 가변 변수를 사용하며 오히려 부끄럽습니다. text가 변경 가능한 방법과 그 값은 루프에 축적된다 open FsCheck
type TestData = {Pattern: string;
Java 라이브러리 QuickTheories를 사용하면 값 목록에서 생성기를 만들 수있는 기본 방법이 있습니까? 같은 뭔가 : public Gen<A> fromList(List<A> xs) {
....
}
은 자신의 롤링이 너무 나쁘지는 않지만 바퀴를 개혁처럼 보인다 : List<TimeZone> timeZones = Arrays.stream
최근에는 속성 기반 테스팅에 대한 아이디어를 읽을 때 매우 흥분됩니다. 하지만 난 아직 답을 어디서든 찾을 수없는 하나 개 질문이 있습니다 어떻게 재산을 기반으로 할 수 있습니다 테스트는 모든 시간을 코너 케이스를 테스트합니다 보장을? 내가 ScalaCheck 사건을 확인 것이라는 점을 확실 할 수있는 방법, 무작위로 생성됩니다 테스트 케이스로 def di
FsCheck를 시험 할 때라고 생각했지만 생각보다 어렵습니다. Arb, 발전기 등에 대한 많은 문서가 있지만 그 지식을 적용하는 방법에 대한 지침이없는 것 같습니다. 또는 나는 그것을 얻지 않고있다. 테스트, 속성, 생성자, 중재자, 축소 및 내 경우에는 임의성 (일부 테스트에서는 자동으로 임의의 데이터가 생성되고 다른 일부는 자동으로 생성되지 않음) 사
ScalaCheck: The Definitive Guide은 재귀 적 데이터 구조에 대한 생성자를 만드는 방법을 설명합니다. 상기 발전기 import org.scalacheck.Gen
import org.scalacheck.Gen.{oneOf, listOf, lzy}
def genTree[T](genT: Gen[T]): Gen[Tree[T]] = lz
ScalaCheck에서 ScalaTest를 사용하여 속성 기반 테스트를 수행하려고합니다. 나는 아래에 설명 된 테스트를 가지고 : import org.scalatest.prop.PropertyChecks
import org.scalatest.{FlatSpec, Matchers}
object Calc {
def add(a:Int, b:Int)