Настройка стратегии тестирования

Определение пользовательского сценария

Lincheck использует предметно-ориентированный язык для определения пользовательских сценариев:

    @Test
    fun test() = StressOptions()
        .addCustomScenario {
            initial {
                actor(Structure::noArgsOp)
            }
            parallel {
                thread {
                    actor(Structure::argsOp, 1)
                    actor(Structure::argsOp, 2)
                }
                thread {
                    actor(Structure::argsOp, 3)
                }
            }
            post {
                actor(Structure::noArgsOp)
            }
        }
        // Report the scenarios even if the test has not failed
        // The custom scenario should be first in the list of scenarios
        .logLevel(LoggingLevel.INFO)
        .check(this::class)

Каждый сценарий состоит из трех необязательных секций:

• initial – операции, выполняемые до параллельной части.

• parallel – определения потоков. Потоки определяются с помощью блока thread. Параллельная секция может содержать несколько блоков thread.

• post – операции, выполняемые после параллельной части.

Операции задаются с помощью функции actor(function, arg1, arg2, ...). Операции внутри одного блока выполняются последовательно.

Определение гарантии

Чтобы определить гарантию, используйте цепочку вызовов построителя: выберите классы, затем методы, а затем тип гарантии.

    @Test
    fun modelCheckingWithGuaranteesTest() = ModelCheckingOptions()
        .addGuarantee(
            forClasses("java.util.concurrent.ConcurrentHashMap")
                .allMethods()
                .treatAsAtomic()
        )
        .check(this::class)

1. Выберите классы с помощью одной из перегрузок forClasses:

   • forClasses(vararg fullClassNames: String) — выбирает классы, если их полное имя содержится в строке fullClassNames.

   • forClasses(vararg classes: KClass<*>) — выбирает классы по ссылке.

   • forClasses(classPredicate: (fullClassName: String) -> Boolean) — выбирает классы с помощью предиката для полных имен классов.

2. Выберите методы, к которым нужно применить гарантию:

   • methods(methodNames: String) – выбирает методы, если их имя содержится в строке methodNames.

   • methods(methodPredicate: (methodName: String) -> Boolean) – выбирает методы с помощью предиката.

   • allMethods() – выбирает все методы выбранных классов.

3. Выберите тип гарантии:

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

     Используйте treatAsAtomic() для методов, которые заведомо являются потокобезопасными.

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

     Используйте ignore() для методов, не имеющих отношения к анализу, например для ведения журналов или отладки.