Lincheckガイド

Lincheckは、JVM上の並行アルゴリズムをテストするための実用的で使いやすいフレームワークです。並行テストを記述するためのシンプルかつ宣言的な方法を提供します。

Lincheckフレームワークを使用すると、テストの実行方法を記述する代わりに、検証するすべての操作と必要な正しさのプロパティを宣言することで、_何をテストするか_を指定できます。その結果、典型的なLincheck並行テストは約15行しか含まれていません。

操作のリストが与えられると、Lincheckは自動的に次のことを行います。

Lincheckをプロジェクトに追加する

Lincheckのサポートを有効にするには、対応するリポジトリと依存関係をGradle設定に含めます。build.gradle(.kts)ファイルに以下を追加します。

KotlinGroovy

kotlin

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

groovy

repositories {
    mavenCentral()
}

dependencies {
    testImplementation "org.jetbrains.kotlinx:lincheck:2.39"
}

このガイドでは、Lincheckフレームワークに触れ、最も有用な機能を例とともに試すことができます。Lincheckの機能をステップバイステップで学びましょう。