Руководство по Lincheck

Lincheck — это практичная и удобная в использовании платформа для тестирования конкуретных алгоритмов на JVM. Она предоставляет простой и декларативный способ написания конкуретных тестов.

В рамках Lincheck, вместо описания того, как проводить тесты, вы можете указать что тестировать, объявив все операции для проверки и требуемое свойство корректности. В результате типичный конкуретны тест Lincheck содержит всего около 15 строк.

При получении списка операций Lincheck автоматически:

• Генерирует набор случайных конкуретных сценариев.

• Проверяет их с помощью стресс-тестирования или ограниченного модельного анализа.

• Проверяет, что результаты каждого вызова удовлетворяют требуемому свойству корректности (по умолчанию — линейная корректность).

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

repositories {
    mavenCentral()
}

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