Kotest 프로퍼티 테스팅(Property Testing)

Kotest의 프로퍼티 테스팅은 입력과 기대 출력을 정의하고, 프로퍼티를 만족시키는 여러 입력을 생성하여 테스트하는 방법이다.

Kotest에서 프로퍼티 테스트를 실행하는 데 사용되는 두 가지 변형 함수는 forAll과 checkAll 두가지가 있다.

Kotest의 제너레이터는 프로퍼티 기반 테스팅을 지원하는데 사용되는 도구이다.

Kotlin의 제너레이터의 전체 목록에 대해 소개한다.

Kotest 제너레이터 연산(Generator Operations)으로 Next, Filter, Map, FlatMap, Merging, Bind에 대해 소개한다.

속성 테스트를 실행하면 시드 값에서 생성된 임의 소스를 사용하여 값이 생성된다.

Kotest의 Property Testing 구성에 대해서 설명한다.

속성 기반 테스트에서 처음에 발견된 실패 사례에는 실제로 테스트를 실패하게 만드는 많은 복잡성이 포함되어 있을 수 있다.

때로는 생성기가 예상한 방식으로 구성되었는지 확인하기 위해 Kotest에서 생성되는 값의 유형을 알고 싶을 수 있다.

일부 프로퍼티 테스트 설정은 모든 프로퍼티 테스트에 대해 전역적으로 설정할 수 있다.

Kotest는 Arrow에 대한 생성기를 제공하는 옵션 모듈을 제공한다.

Kotest는 KotlinX DateTime용 생성기를 제공하는 옵션 모듈을 제공한다.

Kotlin의 테스팅 프레임워크에 대해 소개한다.

JVM에서 테스트를 실행할 때 Kotest는 더 복잡한 Arb를 자동으로 생성하는 기능을 지원한다.