Lincheck ガイド

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

Lincheckフレームワークを使用すると、テストの実行方法を記述する代わりに、検査するすべての操作と必要な正当性プロパティを宣言することで、_何をテストするか_を指定できます。その結果、一般的な並行Lincheckテストはわずか約15行になります。

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

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

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

KotlinGroovy

kotlin

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

groovy

repositories {
    mavenCentral()
}

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

このガイドは、Lincheckフレームワークに親しみ、例を交えながら最も役立つ機能を試すのに役立ちます。Lincheckの機能をステップバイステップで学びましょう。