Lincheck 指南

最终更新: 2025/02/06

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

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

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

  • 生成一组随机并发场景.

  • 使用压力测试, 或绑定模型检查, 来验证这些场景.

  • 验证每个调用的结果满足要求的正确性属性(默认设置是线性一致).

将 Lincheck 添加到你的项目

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

repositories {
    mavenCentral()
}

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

探索 Lincheck 的功能

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

  1. 使用 Lincheck 编写你的第一个测试

  2. 选择你的测试策略

  3. 配置操作参数

  4. 考虑常见的算法约束

  5. 检查算法的非阻塞进度保证(non-blocking progress guarantee)

  6. 定义算法的顺序规格(sequential specification)

其他参考资料

  • "我们如何测试 Kotlin Coroutine 中的并发算法", Nikita Koval: 视频. KotlinConf 2023

  • "Lincheck: 在 JVM 上测试并发程序" 由 Maria Sokolova 主持的研讨会: 视频第 1 部分, 视频第 2 部分. Hydra 2021