scalacheck

    16

    1답변

    는 범주의 다음과 같은 정의를 생각해 보자. 관련 성분 (.) 및 ID (id) : forall f: categoryArrow -> id . f == f . id == f 나는 ScalaCheck와이를 테스트 할. 의 정수를 통해 기능 해보자 : "Categories" should { import Category._ val intG

    1

    1답변

    현재 MPJ-Express (즉, Java MPI 변형)를 사용하는 다중 프로세스 병렬 알고리즘 용 스칼라 프레임 워크를 개발 중입니다. MPJ-Express 및 기본적으로 모든 MPI 변형은 동일한 프로그램으로 많은 프로세스를 시작함으로써 작동합니다. 내가 런타임시 프로세스 (내 프로그램 프로세스를 생성하지 않음)을 통제 할 수 없기 때문에, 나는 다음과

    0

    1답변

    scalecck를 사용하고 있으며 지금 일반 프로그래밍 스프의 중간에 있습니다. 공식 가이드이 예를 나타낸다 : def matrix[T](g: Gen[T]): Gen[Seq[Seq[T]]] = Gen.sized { size => val side = scala.math.sqrt(size).asInstanceOf[Int] Gen.listOfN

    4

    1답변

    Int을 사용하는 생성자가있는 Foo 유형이 있습니다. scalacheck와 함께 Foo에 대해 implicitArbitrary을 정의하려면 어떻게해야합니까? implicit def arbFoo: Arbitrary[Foo] = ??? 나는 다음과 같은 해결책을했다,하지만 내 취향에 대해 조금 너무 "수동"낮은 수준의 : 이상적으로 val fooGen =

    1

    1답변

    모든 scalacheck 물건은 말한다 : 이후 진화하고 하스켈 QuickCheck 그래서 에없는 기능, 이러한 기능은 무엇으로 확장되었습니다?

    8

    1답변

    모든 임의의 값 이외에 항상 고정 값의 특수 값으로 모든 속성을 테스트하고 싶습니다. 이 발전기 유형을 사용하는 모든 테스트가 아니라 내 발전기 사양에 정의하고 싶습니다. 예를 들어, 내가 Ints를 생성했다면, 나는 제너레이터가 항상 각 테스트 케이스에 대해 최소한 0, 1 및 -1을 생성하도록하고 싶습니다. 이것이 가능한가? 내가 지금까지 가지고 올 것

    2

    4답변

    scalacheck 1.6.6 및 specs 1.7 (scala 2.8.1)을 사용하여 (길이가 0이 아닌) 유효한 유니 코드 문자열을 생성하는 생성기를 만들려고합니다. 이 unicodeChar에서 필터를 사용하는 것은 문제가 될 것 같다, import org.specs.Specification import org.specs.matcher.ScalaChe

    3

    1답변

    Speces + Scalacheck 테스트를 IDEA와 함께 실행하면 테스트를 수행하기 위해 다음과 같이 평소에 테스트를 수행합니다. class CoreSpecTest extends JUnit4(CoreSpec) ... 그러나 출력은 매우 만족스럽지 않습니다 : Running CoreSpecTest Tests run: 5, Failures: 0, Er

    1

    1답변

    specs2는 설정/teardown 코드에서 예제를 래핑 할 수 있도록 Before, After, Around 등과 같은 특성을 가지고 있습니다. ScalaCheck 속성, 즉 ScalaCheck에서 테스트 할 각 값 또는 값 집합의 "반복"마다 테스트 인프라를 설정하고 해체하는 것을 지원할만한 것이 있습니까? Specs2의 다양한 Before, After

    2

    1답변

    Spec2에서 ScalaCheck 테스트 케이스를 작성했습니다. 너무 많은 테스트가 삭제 되었기 때문에 테스트 사례가 포기합니다. 그러나, 그것은 왜 그들이 삭제되었습니다 말해주지 않습니다. 그 이유를 어떻게 알 수 있습니까?