Lincheck 가이드

Lincheck는 JVM에서 동시성 알고리즘을 테스트하기 위한 실용적이고 사용자 친화적인 프레임워크입니다. 이 프레임워크는 동시성 테스트를 작성하는 간단하고 선언적인 방식을 제공합니다.

Lincheck 프레임워크를 사용하면 테스트를 수행하는 방법을 설명하는 대신, 검사할 모든 연산과 필요한 정확성 속성을 선언하여 무엇을 테스트할지 지정할 수 있습니다. 그 결과, 일반적인 Lincheck 동시성 테스트는 약 15줄 정도만 포함합니다.

연산 목록이 주어지면, Lincheck는 자동으로 다음을 수행합니다:

Lincheck를 프로젝트에 추가

Lincheck 지원을 활성화하려면 해당 저장소와 의존성을 Gradle 설정에 포함해야 합니다. build.gradle(.kts) 파일에 다음을 추가하세요:

코틀린그루비

kotlin

repositories {
    mavenCentral()
}
 
dependencies {
    testImplementation("org.jetbrains.lincheck:lincheck:3.0")
}

groovy

repositories {
    mavenCentral()
}

dependencies {
    testImplementation "org.jetbrains.lincheck:lincheck:3.0"
}

이 가이드는 프레임워크를 익히고 예제를 통해 가장 유용한 기능을 사용해보는 데 도움이 될 것입니다. Lincheck 기능을 단계별로 학습하세요: