循序規範

為了確保演算法提供正確的循序行為，您可以透過撰寫測試資料結構的直觀循序實作來定義其 循序規範。

TIP

這項功能也讓您可以撰寫單一測試，而非兩個獨立的循序與並行測試。

若要提供演算法的循序規範以進行驗證：

1. 實作所有測試方法的循序版本。

2. 將具有循序實作的類別傳遞給 sequentialSpecification() 選項：

   StressOptions().sequentialSpecification(SequentialQueue::class)

例如，以下是檢查 Java 標準函式庫中 j.u.c.ConcurrentLinkedQueue 正確性的測試。

import org.jetbrains.kotlinx.lincheck.*
import org.jetbrains.kotlinx.lincheck.annotations.*
import org.jetbrains.kotlinx.lincheck.strategy.stress.*
import org.junit.*
import java.util.*
import java.util.concurrent.*

class ConcurrentLinkedQueueTest {
    private val s = ConcurrentLinkedQueue<Int>()

    @Operation
    fun add(value: Int) = s.add(value)

    @Operation
    fun poll(): Int? = s.poll()
   
    @Test
    fun stressTest() = StressOptions()
        .sequentialSpecification(SequentialQueue::class.java)
        .check(this::class)
}

class SequentialQueue {
    private val s = LinkedList<Int>()

    fun add(x: Int) = s.add(x)
    fun poll(): Int? = s.poll()
}

NOTE

取得 範例的完整程式碼。