Lincheck 指南

Lincheck 是一個實用且使用者友好的框架，用於在 JVM 上測試並行演算法。它提供了一種簡單且宣告式的方式來編寫並行測試。

有了 Lincheck 框架，您無需描述如何執行測試，而是可以透過宣告所有要檢查的操作和所需的正確性屬性來指定 測試內容。因此，一個典型的 Lincheck 並行測試通常只包含大約 15 行程式碼。

當給定一系列操作時，Lincheck 會自動：

• 產生一組隨機的並行場景。
• 使用壓力測試或有界模型檢查來檢查它們。
• 驗證每個調用的結果是否滿足所需的正確性屬性（線性一致性是預設屬性）。

將 Lincheck 添加到您的專案

要啟用 Lincheck 支援，請將對應的儲存庫和依賴項包含到 Gradle 配置中。在您的 build.gradle(.kts) 檔案中，添加以下內容：

KotlinGroovy

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

repositories {
    mavenCentral()
}

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

探索 Lincheck

本指南將幫助您熟悉該框架並透過範例嘗試最有用的功能。逐步學習 Lincheck 功能：

1. 使用 Lincheck 編寫您的第一個測試
2. 選擇您的測試策略
3. 配置操作參數
4. 考量常見的演算法約束
5. 檢查演算法的非阻塞進度保證
6. 定義演算法的循序規範

額外參考

• Nikita Koval 的「我們如何在 Kotlin Coroutines 中測試並行演算法」：影片。KotlinConf 2023
• Maria Sokolova 的「Lincheck: 在 JVM 上測試並行性」工作坊：第 1 部分，第 2 部分。Hydra 2021