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

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

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

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

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

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

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

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

repositories {
    mavenCentral()
}

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