Lincheck 指南

Lincheck 是一个实用的而且用户友好的框架, 用于在 JVM 平台上测试并发算法. 它提供了一个简单的, 声明式的方式, 来编写并发测试.

使用 Lincheck 框架, 不需要描述如何执行测试, 你可以通过声明所有需要验证的操作, 以及要求的正确性属性, 来指定测试什么. 这样做的结果是, 一个通常的并发 Lincheck 测试只包含大约 15 行代码.

给定一个操作列表, Lincheck 会自动完成以下工作:

将 Lincheck 添加到你的项目

要使用 Lincheck, 需要在 Gradle 配置中包含对应的仓库和依赖项. 请在你的 build.gradle(.kts) 文件中, 添加以下代码:

repositories {
    mavenCentral()
}

dependencies {
    testImplementation("org.jetbrains.kotlinx:lincheck:2.34")
}

repositories {
    mavenCentral()
}

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

本向导将会帮助你熟悉 Lincheck 框架, 并通过示例程序学习使用最有用的功能特性. 请按照以下步骤学习 Lincheck 的功能特性:

"我们如何测试 Kotlin Coroutine 中的并发算法", Nikita Koval: 视频. KotlinConf 2023
"Lincheck: 在 JVM 上测试并发程序" 由 Maria Sokolova 主持的研讨会: 视频第 1 部分, 视频第 2 部分. Hydra 2021

最终更新: 2024/11/17